def settings_dialog(self, widget, event=None):
""" Displays a general settings dialog. """
if not self.pref:
self.pref = PreferencesDialog(self, self.wTree)
else:
self.pref.load_preferences_diag()
if self.pref.run() == 1:
self.pref.save_results()
self.pref.hide()
def prefmenuitem_selected(self):
from prefs import PreferencesDialog
self._p = PreferencesDialog(self.main, self, self.app.getOptions())
def DoPreferences(self, event):
dlg = PreferencesDialog(main=self, opts=self.app.getOptions())
val = dlg.ShowModal()
if val == wxID_OK:
dlg.savePreferences(self.app)
def editPreferences(self):
from prefs import PreferencesDialog
self.prefs =PreferencesDialog(self, self.app.getOptions())
self.prefs.show()
