void Close()
{
int x, y, width, height;
mainWindow.GetPosition(out x, out y);
mainWindow.GetSize(out width, out height);
bool maximized = ((mainWindow.GdkWindow.State & Gdk.WindowState.Maximized) > 0);
Preferences.Set(Preferences.MAIN_WINDOW_MAXIMIZED, maximized);
if (!maximized)
{
Preferences.Set(Preferences.MAIN_WINDOW_X, x);
Preferences.Set(Preferences.MAIN_WINDOW_Y, y);
Preferences.Set(Preferences.MAIN_WINDOW_WIDTH, width);
Preferences.Set(Preferences.MAIN_WINDOW_HEIGHT, height);
}
Preferences.Set(Preferences.MAIN_WINDOW_HPANED, hpaned1.Position);
Preferences.Set(Preferences.BROWSER_SELECTION, ldapTreeView.BrowserSelectionMethod);
#if ENABLE_AVAHI
finder.Stop();
#endif
program.Quit();
}
public void Quit()
{
//FIXME: old code didn't do this?
program.Quit();
}