Padding no gnome-terminal

Question

Abaixo segue meu ~ / .config / gtk-3.0 / gtk.css

 VteTerminal,
    TerminalScreen {
        padding: 10px 10px 10px 10px;
        -VteTerminal-inner-border: 10px 10px 10px 10px;
    }

Eu estava usando o código acima antes para ativar o preenchimento no meu terminal gnome. Isso parece não funcionar mais depois de uma atualização recente do gtk. Como faço para ativar o preenchimento no terminal agora?

    

Answer 1

Eu tive o mesmo problema, corrigi-lo simplesmente substituindo:

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

com

vte-terminal {
    padding: 10px 10px 10px 10px;
}

    

Answer 2

O GTK 3.20 não revela mais nomes de widgets internos para CSS. O Terminal GNOME 3.20 não atribui "nomes de nós" ainda, mas em 3.21.x (git master) usa terminal-window . Da mesma forma, no VTE git master (ainda não em 0.44), o terminal widget é vte-terminal .