質問: 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の更新後、これは機能しなくなったようです。ターミナルでパディングを有効にするにはどうすればよいですか?
回答: gtk 3.20は、内部ウィジェット名をcssに公開しなくなりました。 gnomeターミナル3.20はまだ「ノード名」を割り当てていませんが、3.21.x(git master)ではterminal-windowを使用しています。同様に、vte git master(まだ0.44ではありません)では、ターミナルウィジェットはvte-terminalです。