hack to get restoring window size and position to work in linux

Fixes #428.  It seems like the problem is that only the width or height gets set and the other gets stuck at either 800 or 600.  I just threw a timeout around setting height and y and now it seems to work.  At least in cinnamon in Linux Mint 17.