issue a warning if w.size and w.window.size are not the same
Issue #32
new
Happens on Ubuntu 18 if you don't take steps to hide the top bar (e.g. as in https://askubuntu.com/a/1029905/ ).