it-swarm-ja.com

gnome-terminalのパディング

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

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

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

1
jerin

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

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

vte-terminal {
    padding: 10px 10px 10px 10px;
}
4
Josip Šokec

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

1
user1686