web-dev-qa-db-fra.com

Où la configuration de style GTK3 du terminal gnome a-t-elle été déplacée dans Ubuntu 16.04?

Dans Ubuntu 14.04, je pouvais styliser l'apparence du terminal gnome et de ses onglets en créant un fichier

/home/$user/.config/gtk-3.0/gtk.css

et y insérer du code CSS, par exemple.

    TerminalWindow .notebook tab.top:active{
      padding: 0;
      border-image: none;
      background-color: #555;
    }
    [...]

Désormais, sur Ubuntu 16.04, cela n’a aucun effet sur l’apparence du terminal gnome.
Comment puis-je modifier l'apparence du terminal gnome sur Ubuntu 16.04?

gnomegtk3
12
the_velour_fog

Cela fonctionne pour moi:

/* gnome-terminal */
@define-color terminal_bg #300a24;

TerminalScreen {
    -TerminalScreen-background-darkness: 0.95;
    background-color: @terminal_bg;
    color: #fff;
}

TerminalScreenContainer .scrollbar:hover:not(.slider),
TerminalScreenContainer .scrollbar.dragging:not(.slider) {
    background-color: alpha(@scrollbar_track_color, 0.4);
}

/* Since .hovering class is not working here, we always
 use the same radius */
TerminalScreenContainer .scrollbar.slider.hovering,
TerminalScreenContainer .scrollbar.slider.dragging {
    border-radius: 1px;
}

TerminalScreenContainer .scrollbar {
    background-color: transparent;
}

TerminalWindow .notebook tab:active {
    padding: 0;
    border: none;
    background-color: #222;
}

Le code que j'ai ajouté est en bas. Le fichier que j'ai édité est ~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css.

Remarques:

  • Je viens de copier le dossier Ambiance de /usr/share/themes et de le renommer afin que je n'ai pas besoin d'utiliser des privilèges élevés lors de la modification du fichier.

  • J'ai constaté qu'en utilisant #555, il était difficile de voir le texte dans l'onglet.

  • J'ai également changé le selected_fg_color pour savoir quel thème est lequel et c'est pourquoi la barre de défilement n'est pas orange;)

gnome-terminal

3
DK Bose

La déconnexion/la fermeture de tous mes programmes et la reconnexion a appliqué la thématisation après tout.
La référence API GTK pour GtkCssProvider (version de développement instable, les sections équivalentes ne sont pas équivalentes), explique/confirme comment GTK lira le code CSS d'un thème au démarrage:

Une application peut amener GTK + à analyser une feuille de style CSS spécifique en appelant gtk_css_provider_load_from_file () et en ajoutant le fournisseur avec gtk_style_context_add_provider () ou gtk_style_context_add_provider_for_screen ().
De plus, certains fichiers seront lus lors de l’initialisation de GTK +. D'abord, le fichier $ XDG_CONFIG_HOME/gtk-3.0/gtk.css est chargé s'il existe.
GTK + essaie ensuite de charger $ HOME/.themes/nom-thème/gtk-3.0/gtk.css, en revenant à datadir/share/themes/nom-thème/gtk-3.0/gtk.css, où nom-thème est le nom du thème actuel (voir le paramètre "gtk-thème-nom") et datadir le préfixe configuré lors de la compilation de GTK +, sauf substitution par la variable d'environnement GTK_DATA_PREFIX.

L’expérience précédente suggérait que tout ce que vous deviez faire dans gnome-terminal était de fermer tous les onglets et toutes les fenêtres de gnome-terminal pour que les nouveaux thèmes prennent effet. Selon la documentation, GTK aurait peut-être besoin de procéder à son initialisation ou un processus gnome-terminal était toujours en cours d'exécution, m'obligeant à me déconnecter puis à revenir.

1
the_velour_fog