Example #1
0
    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);
    }
Example #2
0
 protected void on_delete_event(object o, DeleteEventArgs args)
 {
     QueryServerWindowBox.query_server_window.Hide();
     QueryServerWindowBox = null;
 }
Example #3
0
 protected void on_button_close_clicked(object o, EventArgs args)
 {
     QueryServerWindowBox.query_server_window.Hide();
     QueryServerWindowBox = null;
 }
Example #4
0
    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;
    }
Example #5
0
 protected void on_delete_event(object o, DeleteEventArgs args)
 {
     QueryServerWindowBox.query_server_window.Hide();
     QueryServerWindowBox = null;
 }
Example #6
0
 protected void on_button_close_clicked(object o, EventArgs args)
 {
     QueryServerWindowBox.query_server_window.Hide();
     QueryServerWindowBox = null;
 }