GNOME Bugzilla – Bug 551027
gedit's embedded terminal: wrong gconf key
Last modified: 2019-03-23 20:46:55 UTC
Please describe the problem: Binary package hint: gedit-plugins Embedded Terminal Plugin already try to comply Gnome Terminal style, but fails takin' wrong gconf key (about font name). "/desktop/gnome/interface/monospace_font" does not exist, should instead use: "/desktop/gnome/interface/monospace_font_name". (As taken from https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/155327) Steps to reproduce: Actual results: Expected results: Does this happen every time? Other information: PATCH: http://launchpadlibrarian.net/17292095/gedit-plugins.debdiff (Also listed on the LP site above)
Created attachment 118113 [details] [review] corrects the gconf key for font name in gedit's embedded terminal
Patch looks good. I wonder if the old gconf key used to exist... in that case we should probably look for the new key and if it is not set check also the old key.
The other gconf key was never used by g-t afaict. So you shouldn't look for it (also esp. since g-t doesn't do that).
Thanks for the clarification (Christian) and for the patch (Kurt). Fixed in svn.