diff options
| -rw-r--r-- | gtk2_ardour/editor_ops.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc index e8174ce9e6..4e744abf5f 100644 --- 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 (); |