Comment 2 for bug 1472689

Revision history for this message
Markus Hallfors (destroyerko) wrote :

Maybe this mockup helps.

For example in GNOME terminal you can just add this to gtk.css to get the same result:
VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}