diff options
Diffstat (limited to 'libs/gtkmm2ext/gtk_ui.cc')
| -rw-r--r-- | libs/gtkmm2ext/gtk_ui.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc index 6b5a9c230a..e220a37a28 100644 --- a/libs/gtkmm2ext/gtk_ui.cc +++ b/libs/gtkmm2ext/gtk_ui.cc @@ -377,7 +377,7 @@ UI::set_tip (Widget *w, const gchar *tip, const gchar *hlp) if (!bindings) { bindings = global_bindings; } - + if (bindings) { Bindings::Operation op; KeyboardKey kb = bindings->get_binding_for_action (action, op); |