gnome-terminalのパディング

Question

以下に私の〜/ .config/gtk-3.0 /gtk.cssを示します

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

以前は、gnome-terminalでパディングを有効にするために上記のコードを使用していました。最近のgtkの更新後、これは機能しなくなったようです。ターミナルでパディングを有効にするにはどうすればよいですか？

Answer 1

私は同じ問題を抱えていました、私は単に置き換えることによってそれを修正しました：

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

と

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

Answer 2

GTK 3.20は、内部ウィジェット名をCSSに公開しなくなりました。 GNOMEターミナル3.20はまだ「ノード名」を割り当てていませんが、3.21.x（git master）ではterminal-windowを使用しています。同様に、VTE git master（まだ0.44ではありません）では、ターミナルウィジェットはvte-terminalです。