GNOME Bugzilla – Bug 675658
"Highlight current line" option of editor doesn't work
Last modified: 2012-05-15 06:14:56 UTC
"Highlight current line" option of editor used to work, but seems like it currently doesn't. Other options like "Show line numbers", "Show marks" and "Show right margin" seems to work though, they even apply immediately when clicked.
Hmm, I just tried and it works perfectly here with master. If you still have the problem could you give me steps to reproduce? (Maybe the exact version of gtksourceview used, etc., would be helpful, too).
I just open the Preferences dialog box by going to Edit > Preferences, then select GtkSourceView Editor in the left pane. Then on the right pane, I can enable and disable all settings, except "Highlight current line". Even restarting Anjuta seems to have no effect. Here are the versions of GTK+ and GtkSourceView: libgtk-3-0 3.4.1-0ubuntu1 libgtksourceview-3.0-0 3.4.1-0ubuntu1 The other versions, you may get from packages.ubuntu.com, I don't know which other libraries is necessary (I mean the versions you need), but my netbook have Precise Pangolin installed (I installed from scratch).
Seems like the problem is in libgtksourceview included with Ubuntu. It also doesn't work in gEdit.
It's probably a theming issue and you just don't see the highlight. Anyway, thanks for investigation.