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 126589 - Python: Embolden punctuation/operators, numbers
Python: Embolden punctuation/operators, numbers
Status: RESOLVED FIXED
Product: gtksourceview
Classification: Platform
Component: Syntax files
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GTK Sourceview maintainers
GTK Sourceview maintainers
Depends on:
Blocks:
 
 
Reported: 2003-11-10 00:36 UTC by Hypnos
Modified: 2005-02-07 17:21 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement



Description Hypnos 2003-11-10 00:36:03 UTC
To whom it may concern:

Please add bolding of punctuation (class delimiters, commas, etc.) and
operators (+, -, etc.),  as well as some highlighting of op-and numbers in
your Python syntax highlighting.  Python is obviously quite readable
already, but these changes would make gedit competitive with the best
Python editors out there.

Thanks for all the great work on gtksourceview!

PS:  I am using gedit 2.4.0 with gtksourceview 0.6.0.
Comment 1 Andrew Lau 2005-01-06 17:17:19 UTC
Patch for numeric type handling in python.lang can be found at: 
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=285102
Comment 2 Paolo Maggi 2005-01-07 10:25:07 UTC
Gustavo: may you please review this patch, please?
Comment 3 Paolo Maggi 2005-02-07 17:21:10 UTC
Fixed in CVS HEAD