PROJET AUTOBLOG


Shaarli - Les discussions de Shaarli

Archivé

Site original : Shaarli - Les discussions de Shaarli du 23/07/2013

⇐ retour index

[solved] Internal padding in gnome-terminal / Applications & Desktop Environments / Arch Linux Forums

mardi 24 novembre 2015 à 15:27
Les 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)