Marc Zinnschlag be19da189a fixed user settings not being saved when last document window is closed while user settings window is still open		2015-12-15 14:56:29 +01:00
..
dialogue.cpp	fixed user settings not being saved when last document window is closed while user settings window is still open	2015-12-15 14:56:29 +01:00
dialogue.hpp	fixed user settings not being saved when last document window is closed while user settings window is still open	2015-12-15 14:56:29 +01:00
page.cpp	added bool settings	2015-12-10 13:28:48 +01:00
page.hpp	added integer settings	2015-12-08 17:21:58 +01:00
pagebase.cpp	added integer settings	2015-12-08 17:21:58 +01:00
pagebase.hpp	page switching mechanism	2015-12-08 12:04:45 +01:00