zedapp/zed — pull request #459 by TheKiteEatingTree (2014-09-16 06:09:32+00:00)
Title: 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.