GNOME Bugzilla – Bug 721013
Cleaner implementation for highlighting a line with a background color
Last modified: 2014-07-31 14:20:54 UTC
When bug #721012 is fixed, we can use it in GtkSourceView.
No longer needed, there is now the GtkTextView::draw_layer virtual function.