[solved] Internal padding in gnome-terminal / Applications & Desktop Environments / Arch Linux Forums
mardi 24 novembre 2015 à 15:27Les liens de Tom
Pour ajouter du padding au terminal de ubuntu, dans : ~/.config/gtk-3.0/gtk.css
Ajouter :
TerminalScreen {
-VteTerminal-inner-border: 10px 10px 10px 10px;
}
Et relancer le terminal.
(Permalink)
Pour ajouter du padding au terminal de ubuntu, dans : ~/.config/gtk-3.0/gtk.css
Ajouter :
TerminalScreen {
-VteTerminal-inner-border: 10px 10px 10px 10px;
}
Et relancer le terminal.
(Permalink)