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 721015 - Cleaner implementation for drawing spaces with symbols
Cleaner implementation for drawing spaces with symbols
Status: RESOLVED OBSOLETE
Product: gtksourceview
Classification: Platform
Component: General
unspecified
Other All
: Normal enhancement
: ---
Assigned To: GTK Sourceview maintainers
GTK Sourceview maintainers
Depends on: 132826
Blocks:
 
 
Reported: 2013-12-24 13:24 UTC by Sébastien Wilmet
Modified: 2018-04-15 08:29 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Sébastien Wilmet 2013-12-24 13:24:59 UTC 
When bug #721014 is fixed, we can use it in GtkSourceView.
Comment 1 Sébastien Wilmet 2014-08-21 17:19:57 UTC 
When bug #132826 is fixed.
Comment 2 Sébastien Wilmet 2018-04-15 08:29:36 UTC 
Space drawing is not just a glyph substitution, it's convenient to be able to draw anything. So I think the code can remain in GtkSourceView, although the implementation could be a little refactored to make it easier to understand.