52 Commits (ec3b749ef693054c819e9fc83b35647600aca610)

Author SHA1 Message Date
Christophe Dumez 51ebfadd85 - Split Preferences from the GUI so that Options dialog does not need to be created on startup to retrieve the preferences: 15 years ago