From f095cb75fa47126ca6c2a1c3da1d9f01a4fc7673 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Fri, 8 Sep 2017 22:56:38 +0200
Subject: [PATCH] Fixup key-release events for plugin-uis

---
 gtk2_ardour/plugin_ui.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gtk2_ardour/plugin_ui.cc b/gtk2_ardour/plugin_ui.cc
index 011151e29b..93da6e8df8 100644
--- a/gtk2_ardour/plugin_ui.cc
+++ b/gtk2_ardour/plugin_ui.cc
@@ -429,12 +429,12 @@ PluginUIWindow::on_key_release_event (GdkEventKey *event)
 			if (_pluginui->non_gtk_gui()) {
 				_pluginui->forward_key_event (event);
 			}
-			return true;
 		}
-		return false;
 	} else {
-		return true;
+		gtk_window_propagate_key_event (GTK_WINDOW(gobj()), event);
 	}
+	/* don't forward releases */
+	return true;
 }
 
 void