protected void on_delete_event(object o, DeleteEventArgs args) { EvaluatorWindowBox.evaluator_window.Hide(); EvaluatorWindowBox = null; }