static public QueryServerWindow Show(int newPrefsDigitsNumber, string [] evaluators) { if (QueryServerWindowBox == null) { QueryServerWindowBox = new QueryServerWindow(newPrefsDigitsNumber, evaluators); } QueryServerWindowBox.query_server_window.Show(); QueryServerWindowBox.fillDialog(); return(QueryServerWindowBox); }
protected void on_delete_event(object o, DeleteEventArgs args) { QueryServerWindowBox.query_server_window.Hide(); QueryServerWindowBox = null; }
protected void on_button_close_clicked(object o, EventArgs args) { QueryServerWindowBox.query_server_window.Hide(); QueryServerWindowBox = null; }
public static QueryServerWindow Show(int newPrefsDigitsNumber, string [] evaluators) { if (QueryServerWindowBox == null) { QueryServerWindowBox = new QueryServerWindow(newPrefsDigitsNumber, evaluators); } QueryServerWindowBox.query_server_window.Show (); QueryServerWindowBox.fillDialog (); return QueryServerWindowBox; }