fix crash on 2nd Lock

diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc
index e8174ce9e6b64ffbe6772fb93721cf4ec7e19959..4e744abf5f83c59c6f1e665acb9806fae6b1dacf 100644 (file)
--- a/gtk2_ardour/editor_ops.cc
+++ b/gtk2_ardour/editor_ops.cc
@@ -7870,6 +7870,7 @@ Editor::unlock ()
        lock_dialog->hide ();
 
        delete _main_menu_disabler;
+       _main_menu_disabler = 0;
 
        if (UIConfiguration::instance().get_lock_gui_after_seconds()) {
                start_lock_event_timing ();