Minor tweaks to window management on Linux

The bugs (at least on Ubuntu) were that initially a window had a white bar at the bottom, and resizing a window drove an unneeded _OnMove routine with the result that resizing didn't do the right thing.