comparison: ui/gtk/menu.c
ui/gtk/menu.c
- changeset 1250
- 0b7df75d4ecf
- parent 1138
- 999911de398b
equal
deleted
inserted
replaced
| 1249:6bb45d356481 | 1250:0b7df75d4ecf |
|---|---|
| 1012 gtk_widget_add_controller(widget, GTK_EVENT_CONTROLLER(gesture)); | 1012 gtk_widget_add_controller(widget, GTK_EVENT_CONTROLLER(gesture)); |
| 1013 g_signal_connect(gesture, "pressed", G_CALLBACK(gesture_button_press), menu); | 1013 g_signal_connect(gesture, "pressed", G_CALLBACK(gesture_button_press), menu); |
| 1014 } | 1014 } |
| 1015 | 1015 |
| 1016 void ui_contextmenu_popup(UIMENU menu, UIWIDGET widget, int x, int y) { | 1016 void ui_contextmenu_popup(UIMENU menu, UIWIDGET widget, int x, int y) { |
| 1017 gtk_widget_show_all(GTK_WIDGET(menu)); | |
| 1017 gtk_popover_set_pointing_to(GTK_POPOVER(menu), &(GdkRectangle){ x, y, 0, 0 }); | 1018 gtk_popover_set_pointing_to(GTK_POPOVER(menu), &(GdkRectangle){ x, y, 0, 0 }); |
| 1018 gtk_popover_popup(GTK_POPOVER(menu)); | 1019 gtk_popover_popup(GTK_POPOVER(menu)); |
| 1019 } | 1020 } |
| 1020 | 1021 |
| 1021 #endif | 1022 #endif |
