private void HandleDestroyed(object sender, EventArgs args)
{
prefs = null;
}
public void HandlePreferences (object sender, EventArgs args)
{
var pref = new PreferenceDialog (GetToplevel (sender));
pref.Run ();
pref.Destroy ();
}
public static new void Show()
{
if (prefs == null)
prefs = new PreferenceDialog ();
prefs.Present ();
}
//Settings menu
private void EditPreferences(object sender, EventArgs e)
{
PreferenceDialog.Show(MOO_APPLICATION_SETTINGS);
}
