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

Reply via email to