private void OnPreferences(object sender, EventArgs args) { Logger.Info("OnPreferences called"); if (preferencesDialog == null) { preferencesDialog = new PreferencesDialog(); preferencesDialog.Hidden += OnPreferencesDialogHidden; } preferencesDialog.Present(); }
private void OnPreferencesDialogHidden(object sender, EventArgs args) { preferencesDialog.Destroy (); preferencesDialog = null; }
private void OnPreferences(object sender, EventArgs args) { Logger.Info ("OnPreferences called"); if (preferencesDialog == null) { preferencesDialog = new PreferencesDialog (); preferencesDialog.Hidden += OnPreferencesDialogHidden; } preferencesDialog.Present (); }
private void OnPreferencesDialogHidden(object sender, EventArgs args) { preferencesDialog.Destroy(); preferencesDialog = null; }
public void ShowPreferences() { Trace.TraceInformation ("OnPreferences called"); if (preferencesDialog == null) { preferencesDialog = new PreferencesDialog (); preferencesDialog.Hidden += OnPreferencesDialogHidden; } preferencesDialog.Present (); }