- if (ev->type == GDK_BUTTON_PRESS) {
- _menu.popup (1, gtk_get_current_event_time());
+ if (binding_proxy.button_press_handler (ev)) {
+ return true;
+ }
+
+ if (ev->type == GDK_BUTTON_PRESS && ev->button == 1) {
+ Gtkmm2ext::anchored_menu_popup(&_menu, this, get_text(), 1, ev->time);