protected override void on_delete_event(object o, DeleteEventArgs args) { EditJumpWindowBox.edit_event.Hide(); EditJumpWindowBox = null; }