issue a warning if w.size and w.window.size are not the same

[Jeremy Hill]

Happens on Ubuntu 18 if you don't take steps to hide the top bar (e.g. as in https://askubuntu.com/a/1029905/ ).