[gtksourceview] ini.lang: support # as line comment marker

[Sébastien Wilmet <swilmet src gnome org>]

commit 5fe2bc0443d4ccb2e66b6783a56c6b42f8cf60a1
Author: Benjamin Drung <benjamin drung profitbricks com>
Date:   Wed May 7 14:59:18 2014 +0200

    ini.lang: support # as line comment marker
    
    The Python configparser module [1] allows one to read INI files and # and ; are
    treated as line comment characters by default.
    
    [1] https://docs.python.org/3/library/configparser.html
    
    https://bugzilla.gnome.org/show_bug.cgi?id=729713

 data/language-specs/ini.lang |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/language-specs/ini.lang b/data/language-specs/ini.lang
index 1b00a52..562cea9 100644
--- a/data/language-specs/ini.lang
+++ b/data/language-specs/ini.lang
@@ -40,7 +40,7 @@
 
   <definitions>
     <context id="line-comment" style-ref="comment" end-at-line-end="true" class="comment" 
class-disabled="no-spell-check">
-      <start>;</start>
+      <start>;|#</start>
     </context>
     <context id="group" style-ref="keyword">
       <start>^\[</start>