diff options
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 d351e5efba..81dd347ed3 100644 --- a/gtk2_ardour/plugin_ui.cc +++ b/gtk2_ardour/plugin_ui.cc @@ -362,11 +362,11 @@ PluginUIWindow::on_key_press_event (GdkEventKey* event) } } return true; - } + } /* for us to be getting key press events, there really MUST be a _pluginui, but just to be safe, check ... */ - + if (_pluginui) { _pluginui->grab_focus(); if (_pluginui->non_gtk_gui()) { @@ -379,7 +379,7 @@ PluginUIWindow::on_key_press_event (GdkEventKey* event) } else { return relay_key_press (event, this); } - } + } return false; } |