After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 729713 - ini.lang: Support # as line comment marker.
ini.lang: Support # as line comment marker.
Status: RESOLVED FIXED
Product: gtksourceview
Classification: Platform
Component: Syntax files
git master
Other All
: Normal normal
: ---
Assigned To: GTK Sourceview maintainers
GTK Sourceview maintainers
Depends on:
Blocks:
 
 
Reported: 2014-05-07 13:12 UTC by Benjamin Drung
Modified: 2014-05-12 08:03 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
0001-data-language-specs-ini.lang-Support-as-line-comment.patch (1002 bytes, patch)
2014-05-07 13:19 UTC, Benjamin Drung 		none Details | Review

Description Benjamin Drung 2014-05-07 13:12:13 UTC 
data/language-specs/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

Patch is attached.
Comment 1 Benjamin Drung 2014-05-07 13:19:14 UTC 
Created attachment 276068 [details] [review]
0001-data-language-specs-ini.lang-Support-as-line-comment.patch
Comment 2 Sébastien Wilmet 2014-05-09 20:07:04 UTC 
I've pushed the patch to the master branch, thanks.
Comment 3 Benjamin Drung 2014-05-12 08:03:51 UTC 
Thanks.