Como habilitar / adicionar bordas de janela em 17.10?

Question

Eu tenho várias janelas de terminal abertas com um plano de fundo preto e a sombra preta no plano de fundo preto é completamente perdida quando elas se sobrepõem. Este é um problema para qualquer janela com fundo preto. Eu costumava modificar unity.css para adicionar janela bordas , mas 17.10 é o Gnome e isso não funciona mais! Eu não vejo nenhum controle de tema do Gnome na interface do usuário de configurações.

Trabalhou no Ubuntu 17.04, mas não 17.10

Edite /usr/share/themes/Ambiance/gtk-3.20/apps/unity.css e altere

-UnityDecoration-extents: 28px 0 0 0;

para

-UnityDecoration-extents: 28px 2 2 2;

Não funciona: gnome-terminal.css

Edite o /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;
}

Não funciona: gnome-applications.css

Editar /usr/share/themes/Ambiance/gtk-3.20/apps/gnome-applications.css dizer

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;
}

Sugestão possível:

Talvez eu devesse editar algo em /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

    

Answer 1

Eu encontrei a resposta aqui .

1. Crie um arquivo ~/.config/gtk-3.0/gtk.css

2. Adicione as linhas:

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

3. Reinicializar