web-dev-qa-db-fra.com

Faire en sorte que les couleurs du terminal intégré de gedit soient identiques à celles du terminal par défaut

Je viens de mettre à jour la version 11.10 et maintenant mon terminal intégré dans gedit ne correspond pas à mon terminal par défaut. Je déteste regarder un terminal blanc et noir. Est-ce que quelqu'un sait comment faire en sorte que le terminal intégré corresponde au terminal par défaut?

Ceci est une capture d'écran:

Screenshot

Je veux que mon terminal intégré dans gedit corresponde à mon terminal par défaut.

command-linegedit
31
Hugo

  1. Assurez-vous que les packages suivants sont installés:

  2. Ouvrez gconf-editor et accédez à applications ➜ gnome-terminal et sélectionnez un profil:

    enter image description here

  3. Maintenant ouvrez dconf-editor et naviguez vers org gnome gedit ➜ plugins ➜ terminal et décochez la clé use-theme-colors :

    enter image description here

  4. Depuis gconf-editor, copiez les valeurs du

    • couleur de fond
    • couleur de premier plan
    • palette

    sur les clés correspondantes dans dconf-editor. Le terminal intégré doit maintenant correspondre à un terminal gnome standard.

    enter image description here

36
Isaiah

C'est pour gedit 3

Même problème ici blanc sur gris clair.

J'ai édité manuellement /usr/lib/gedit/plugins/terminal.py. Le terminal utilisé est xterm.

Rechercher:

fg = context.get_color(Gtk.StateFlags.NORMAL)
bg = context.get_background_color(Gtk.StateFlags.NORMAL)

Je remplace par

fg = Gdk.RGBA(0, 0, 0, 1)
bg = Gdk.RGBA(1, 1, 1, 1)

Info: fg = texte en noir, bg = fond blanc

18
John

Assurez-vous que vous n'avez pas coché tilisez les couleurs du thème du système alors cela devrait fonctionner:

enter image description here

4
htorque

Ouvrez gconf-editor et allez à apps->gnome-terminal->profiles->Default

  • Décochez l'option use-theme-colors.
  • Définir la couleur de premier plan: #FFFFFF
  • Définir la couleur d'arrière-plan: # 000000

Cela définira le texte en blanc et le fond en noir. Cette option sera définie à la fois pour le terminal et le terminal intégré. Si vous souhaitez utiliser des couleurs différentes pour chacun, faites-le plutôt.

Ouvrez gconf-editor et allez à apps->gedit-2->plugins

  • Créez une nouvelle clé nommée use_theme_colors
  • Définissez le type sur: Boolean
  • Définissez la valeur sur: False
  • Créer une nouvelle clé nommée foreground_color
  • Définissez le type sur: String
  • Définissez la valeur sur: #FFFFFF
  • Créer une nouvelle clé nommée background_color
  • Définissez le type sur: String
  • Définissez la valeur sur: # 000000

Editez le fichier /usr/lib/gedit-2/plugins/terminal.py

Sous la ligne:

GCONF_PROFILE_DIR = "/apps/gnome-terminal/profiles/Default"

Ajouter une nouvelle ligne:

GCONF_GEDIT_DIR = "/apps/gedit-2/plugins"

Puis remplacez les lignes:

if not gconf_get_bool(self.GCONF_PROFILE_DIR + "/use_theme_colors"):
fg_color = gconf_get_str(self.GCONF_PROFILE_DIR + "/foreground_color", None)
bg_color = gconf_get_str(self.GCONF_PROFILE_DIR + "/background_color", None)

Avec:

if not gconf_get_bool(self.GCONF_GEDIT_DIR + "/use_theme_colors"):
fg_color = gconf_get_str(self.GCONF_GEDIT_DIR + "/foreground_color", None)
bg_color = gconf_get_str(self.GCONF_GEDIT_DIR + "/background_color", None)

Vous pouvez maintenant définir les couleurs du terminal intégré uniquement, avec les clés que vous avez créées dans apps->gedit-2->plugins

1
Gary

En inspectant terminal.py pour Ubuntu 16.04, il semble que certains profils existants soient chargés:

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

En inspectant org.gnome.terminal.legacy.profiles: dans dconf-editor, un tel profil existait. après l'avoir supprimé avec:

dconf reset -f /org/gnome/terminal/legacy/profiles:/

Je pourrais modifier les paramètres de org.gnome.gedit.plugins.terminal et les appliquer. Pour background-color, je devais d'abord désactiver use-theme-colours.

1
muru

dans 13.04, le chemin d'accès de gconf-editor aux propriétés a été remplacé par: org -> gnome -> gedit -> terminal

0
Nico Grunfeld