log PreferencesDialog.py @ 229:f0b5bdce1189

age author description
Wed, 02 Jul 2014 18:20:56 +0200 Dirk Olmes fix the preferences dialog after update to the new style api