hack to get restoring window size and position to work in linux
a smaller timeout seems to work as well and is slightly less jarring
Merge pull request #459 from TheKiteEatingTree/restoreWindow

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