1 Commits (e97b80536541b8dc4b3a5f2b870a694f76365efd)

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