diff options
| author | Robin Gareus <robin@gareus.org> | 2015-10-07 15:50:55 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-10-07 15:50:55 +0200 |
| commit | 38405fa21047e6b7b69aa5a2de0ac95566e6b402 (patch) | |
| tree | b8d8de5a8300df90f1ef73ce1c00cc386f8005bf | |
| parent | dee89fb98a41ce940cde023f001d4f3024d6a25e (diff) | |
fix crash on 2nd Lock
| -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 (); |