web-dev-qa-db-fra.com

Comment activer / ajouter des bordures de fenêtre dans 17.10 & 18.04?

J'ai plusieurs fenêtres de terminal ouvertes avec un arrière-plan noir et l'ombre noire sur l'arrière-plan noir est complètement perdue lorsqu'elles se chevauchent. Ceci est un problème pour toutes les fenêtres avec un fond noir. J'avais l'habitude de modifier l'unité.css pour ajouter des bordures de fenêtres , mais 17.10 est Gnome et cela ne fonctionne plus! Je ne vois pas non plus de contrôle de thème Gnome dans l'interface utilisateur des paramètres.

A travaillé dans Ubuntu 17.04, mais pas 17.10

Editez /usr/share/themes/Ambiance/gtk-3.20/apps/unity.css et changez

-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

Editez /usr/share/themes/Ambiance/gtk-3.20/apps/gnome-applications.css pour le 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;
}

Indice possible:

Peut-être devrais-je éditer quelque chose dans /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
18.04gnome-terminalgnome-shellwindowborders
12
GlenPeterson

J'ai trouvé la réponse ici .

  1. Faire un fichier ~/.config/gtk-3.0/gtk.css

  2. Ajouter les lignes:

    decoration {
  border: 1px solid gray;
  background: gray;
}

  3. Redémarrez ou déconnectez-vous + connectez-vous

17
GlenPeterson

Ce qui suit ajoute la bordure uniquement aux fenêtres gnome-terminal; testé sur GNOME 3.22 (dans Debian 9).

  1. Créer/éditer le fichier ~/.config/gtk-3.0/gtk.css

  2. Ajouter ce qui suit:

    terminal-window notebook {
  border-width: 0px 1px 1px 1px;
  border-style: solid;
  border-color: grey;
}

  terminal-window.maximized notebook,
  terminal-window.fullscreen notebook {
  border-style: none;
}
  3. Se déconnecter/se connecter
3
Ivan Stojic

Je n'aime pas vraiment ce gris brillant, voici ma préférence pour ~/.config/gtk-3.0/gtk.css (les couleurs rgba ne fonctionnant que dans wayland, je me suis donc décidé pour le #383838.)

terminal-window notebook {
  border: 1px solid #383838;
}

Mais cela seul ne fonctionne pas pour emacs, alors j'ajoute aussi:

/* for emacs */
window#Emacs.background box#pane {
  border-style: solid;
  border-color: rgba(0,0,0,0.75);
  border-width: 0 1px 1px 1px;
}

Voici le joli et subtil résultat:

Nice subtle window borders

Bonus/note to self: vous pouvez tester et modifier les flux RSS à l'aide de l'inspecteur GTK, par exemple: GTK_DEBUG=interactive emacs ( tutorial ) - et une référence indiquant comment gtk sélecteurs CSS .

0
Jeff Ward