[gtksourceview] ini.lang: support # as line comment marker
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] ini.lang: support # as line comment marker
- Date: Fri, 9 May 2014 20:06:29 +0000 (UTC)
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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]