J'ai plusieurs fenêtres de terminal ouvertes avec un fond noir et l'ombre noire sur le fond noir est complètement perdue lorsqu'elles se chevauchent. C'est un problème pour toutes les fenêtres avec un fond noir. J'avais l'habitude de modifier unity.css pour ajouter des bordures de fenêtre , mais 17.10 est Gnome et cela ne fonctionne plus! Je ne vois aucun contrôle de thème Gnome dans l'interface utilisateur des paramètres non plus.
Fonctionné dans Ubuntu 17.04, mais pas 17.10
Modifier /usr/share/themes/Ambiance/gtk-3.20/apps/unity.css
et changer
-UnityDecoration-extents: 28px 0 0 0;
à
-UnityDecoration-extents: 28px 2 2 2;
Ne fonctionne pas: gnome-terminal.css
Éditer /usr/share/themes/Ambiance/gtk-3.20/apps/gnome-terminal.css
@define-color terminal_border #ff0000;
vte-terminal.terminal-screen {
-TerminalScreen-background-darkness: 0.95;
background-color: @terminal_bg;
color: #fff;
border-width: 1px 1px 0px 1px;
border-color: @terminal_border;
}
Ne fonctionne pas: gnome-applications.css
Modifier /usr/share/themes/Ambiance/gtk-3.20/apps/gnome-applications.css
pour dire
TerminalScreen {
background-color: @theme_base_color;
color: @theme_fg_color;
-TerminalScreen-background-darkness: 0.95;
border-bottom-width: 2px;
border-right-width: 2px;
border-left-width: 2px;
}
TerminalWindow GtkNotebook.notebook {
border-bottom-width: 2px;
border-right-width: 2px;
border-left-width: 2px;
}
Suggestion possible:
Peut-être que je devrais éditer quelque chose /usr/share/gnome-shell/theme
?
alternatives.log:update-alternatives 2017-11-12 10:59:31:
run with --install /usr/share/gnome-shell/theme/gdm3.css gdm3.css
/usr/share/gnome-shell/theme/ubuntu.css 10
alternatives.log:update-alternatives 2017-11-12 10:59:31:
link group gdm3.css updated to point to
/usr/share/gnome-shell/theme/ubuntu.css