Esempio n. 1
0
        private void OnPreferences(object sender, EventArgs args)
        {
            Logger.Info("OnPreferences called");
            if (preferencesDialog == null)
            {
                preferencesDialog         = new PreferencesDialog();
                preferencesDialog.Hidden += OnPreferencesDialogHidden;
            }

            preferencesDialog.Present();
        }
Esempio n. 2
0
 private void OnPreferencesDialogHidden(object sender, EventArgs args)
 {
     preferencesDialog.Destroy ();
     preferencesDialog = null;
 }
Esempio n. 3
0
        private void OnPreferences(object sender, EventArgs args)
        {
            Logger.Info ("OnPreferences called");
            if (preferencesDialog == null) {
                preferencesDialog = new PreferencesDialog ();
                preferencesDialog.Hidden += OnPreferencesDialogHidden;
            }

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

            preferencesDialog.Present ();
        }