diff options
| author | Robin Gareus <robin@gareus.org> | 2017-09-08 22:56:38 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-09-08 23:35:00 +0200 |
| commit | f095cb75fa47126ca6c2a1c3da1d9f01a4fc7673 (patch) | |
| tree | bc3b64db8d4dddec628c554dd22f0c3892e144fa /gtk2_ardour/plugin_ui.cc | |
| parent | 746665e89cf66c5688cd584555168bb8323b824e (diff) | |
Fixup key-release events for plugin-uis
Diffstat (limited to 'gtk2_ardour/plugin_ui.cc')
| -rw-r--r-- | gtk2_ardour/plugin_ui.cc | 6 |
1 files 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 |