On Sun, Dec 04, 2016 at 12:10:47AM +0100, Egmont Koblinger wrote: > I've halved all the size numbers in the config, and it still appears > perfectly for me (now the overall window is a "regular" window, smaller > than the screen in both dimensions).
I tried the same, just to get a smaller window that only shows one terminal instead of four. > Just for the record: What is your desktop environment / window manager? Gnome with gnome-shell 3.22.2 Michael -- Michael Meskes Michael at Fam-Meskes dot De, Michael at Meskes dot (De|Com|Net|Org) Meskes at (Debian|Postgresql) dot Org Jabber: michael at xmpp dot meskes dot org VfL Borussia! Força Barça! Go SF 49ers! Use Debian GNU/Linux, PostgreSQL