4 commits

Author	SHA1	Message	Date
Vojtech Kral	ec0c65a80a	Fix CheckboxFileDialog, for real this time (I hope)	2018-10-19 15:13:20 +02:00
Vojtech Kral	b6251dd85b	Fix CheckboxFileDialog	2018-10-19 13:39:34 +02:00
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
Vojtech Kral	1f926964ee	WIP: Plater, build fixes	2018-10-08 17:41:37 +02:00