Vojtech Kral d4371b6089 Refactor window position & size persistence
in a way that is hopefully robust wrt. platform quirks
2018-10-17 14:09:18 +02:00
..
2018-09-24 11:53:05 +02:00