1

The embedded terminal of Gedit in my 16.04 session is not following the default ubuntu theme, and does not seem to be configurable in any way.

More precisely, it follows the username@hostname color of the ubuntu theme (some kind of bright green) but the background is plain white (should be 'aubergine') and the text is black (should be white).

This problem had been addressed for earlier versions of ubuntu, but in 16.04 things seem to have changed:

  • there is no Gedit entry in gconf-editor
  • editing directly the colors in dconf-editor has no effect whatsoever
  • clearing the plugin's palette in is prohibited, one can only enter an empty []

So this is NOT a duplicate: none of the earlier solutions work and there seems to be something specific to 16.04 with respect to this problem. My impressions is that there is an issue with the way gconf settings are handled, maybe a bug in the terminal plugin script terminal.py (located in /usr/lib/x86_64-linux-gnu/gedit/plugins) but this exceeds my competence, so any help is welcome.

Community
  • 1
Marc
  • 1,252

1 Answers1

3

From this answer of user muru, I have found a workaround which worked for me. First, find the python script terminal.py located in /usr/lib/x86_64-linux-gnu/gedit/plugins/. Or you can enter the command locate terminal.py in the Ubuntu terminal. In this python script, you can find the following code block:

def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

    if not profiles:
        default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
        settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                              default_path)
    else:
        settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    return settings

Now change this to:

def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

#    if not profiles:
#        default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
#        settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
#                                              default_path)
#    else:

    settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    return settings

Now the settings entered via the dconf-editor should work. Be aware that you might have to change it again in the future if the gedit-plugins package gets updated.

Community
  • 1
Praan
  • 146