Polsterung im Gnome-Terminal

2648
jerin

Unten ist mein ~ / .config / gtk-3.0 / gtk.css

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

Ich habe den obigen Code zuvor verwendet, um das Padding in meinem Gnome-Terminal zu aktivieren. Dies scheint nach einem letzten gtk-Update nicht mehr zu funktionieren. Wie aktiviere ich jetzt das Padding im Terminal?

0

2 Antworten auf die Frage

3
Josip Šokec

Ich hatte das gleiche Problem, ich habe es behoben, indem ich einfach Folgendes ersetzt habe:

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

mit

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

In GTK 3.20 werden dem CSS keine internen Widgetnamen mehr angezeigt. Das GNOME-Terminal 3.20 weist noch keine "Knotennamen" zu, wird jedoch in 3.21.x (git master) verwendet terminal-window. Ebenso ist das Terminal-Widget in VTE git master (noch nicht in 0.44) vte-terminal.

Also muss ich dann auf die offiziellen Updates warten? jerin vor 7 Jahren 0

Verwandte Probleme