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 664514 - view->editor->* margin doesn't work
view->editor->* margin doesn't work
Status: RESOLVED FIXED
Product: anjuta
Classification: Applications
Component: plugins: editor: scintilla
git master
Other Linux
: Normal minor
: ---
Assigned To: Sébastien Granjoux
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2011-11-21 22:02 UTC by Massimo Cora'
Modified: 2011-12-19 20:42 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Massimo Cora' 2011-11-21 22:02:56 UTC 
trying to remove the line margin or the code fold margin doesn't work.
Enabling and disabling the option via menu has no effect.
Comment 1 Sébastien Granjoux 2011-12-01 21:29:59 UTC 
I will take care of this. I think it's because the gsettings keys changed by the menu item have changed and Scintilla plugin hasn't been updated.
Comment 2 Sébastien Granjoux 2011-12-19 20:42:29 UTC 
It should work now.

It was because key names have changed to use dash instead of dot to separate number. By example margin.linenumber.visible has been changed to margin-linenumber-visible during the change to use GSettings. But the string with dots was still used in some part of Scintilla.