Fixup key-release events for plugin-uis

diff --git a/gtk2_ardour/plugin_ui.cc b/gtk2_ardour/plugin_ui.cc
index 011151e29b3c668d21edb54173d0be6e81d5c12a..93da6e8df8fc842b36aefbcd6b4cc79c04be051a 100644 (file)
--- 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