web-dev-qa-db-fra.com

Les couleurs du terminal intégré Gedit correspondent-elles au thème global? (16.04)

Le terminal intégré de Gedit dans ma session 16.04 ne suit pas le thème ubuntu par défaut et ne semble en aucun cas configurable.

Plus précisément, il suit la couleur username @ hostname du thème ubuntu (une sorte de vert vif) mais le fond est blanc uni (devrait être 'aubergine') et le texte est noir (devrait être blanc).

Ce problème avait été résol pour les versions antérieures d'ubuntu, mais en 16.04, les choses semblent avoir changé:

  • il n'y a pas d'entrée Gedit dans gconf-editor
  • éditer directement les couleurs dans dconf-editor n'a aucun effet
  • il est interdit d'effacer la palette du plugin, on ne peut entrer qu'un [] vide

Ce n'est donc PAS un doublon: aucune des solutions précédentes ne fonctionne et il semble y avoir quelque chose de spécifique à 16.04 par rapport à ce problème. J'ai l'impression qu'il y a un problème avec la façon dont les paramètres gconf sont gérés, peut-être un bogue dans le script du plugin de terminal terminal.py (Situé dans /usr/lib/x86_64-linux-gnu/gedit/plugins) Mais cela dépasse mes compétences , toute aide est donc la bienvenue.

16.04themesgnome-terminalgeditplugins
1
Marc

De cette réponse de l'utilisateur muru, j'ai trouvé une solution de contournement qui a fonctionné pour moi. Tout d'abord, recherchez le script python terminal.py situé dans /usr/lib/x86_64-linux-gnu/gedit/plugins/. Ou vous pouvez entrer la commande locate terminal.py dans le terminal Ubuntu. Dans ce script python, vous pouvez trouver le bloc de code suivant:

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

Maintenant, changez ceci en:

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

Maintenant, les paramètres saisis via le dconf-editor devrait marcher. Sachez que vous devrez peut-être le modifier à nouveau à l'avenir si le gedit-plugins le package est mis à jour.

2
Praan