From 38405fa21047e6b7b69aa5a2de0ac95566e6b402 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Wed, 7 Oct 2015 15:50:55 +0200
Subject: [PATCH] fix crash on 2nd Lock

---
 gtk2_ardour/editor_ops.cc | 1 +
 1 file changed, 1 insertion(+)

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 ();