private void SavePosition ()
{
int x;
int y;
int width;
int height;
int mon;
GetPosition(out x, out y);
GetSize(out width, out height);
mon = Screen.GetMonitorAtPoint(x, y);
Preferences.Set (Preferences.SEARCH_WINDOW_X_POS, x);
Preferences.Set (Preferences.SEARCH_WINDOW_Y_POS, y);
Preferences.Set (Preferences.SEARCH_WINDOW_WIDTH, width);
Preferences.Set (Preferences.SEARCH_WINDOW_HEIGHT, height);
Preferences.Set (Preferences.SEARCH_WINDOW_SPLITTER_POS, hpaned.Position);
Preferences.Set (Preferences.SEARCH_WINDOW_MONITOR_NUM, mon);
}