GNOME Bugzilla – Bug 126589
Python: Embolden punctuation/operators, numbers
Last modified: 2005-02-07 17:21:10 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.
Patch for numeric type handling in python.lang can be found at: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=285102
Gustavo: may you please review this patch, please?
Fixed in CVS HEAD