| 31 * Also, any public API should not depend on this file. |
31 * Also, any public API should not depend on this file. |
| 32 */ |
32 */ |
| 33 |
33 |
| 34 #include <gtk/gtk.h> |
34 #include <gtk/gtk.h> |
| 35 |
35 |
| |
36 #if !GTK_CHECK_VERSION(3,22,0) |
| |
37 |
| |
38 static inline void |
| |
39 gtk_menu_popup_at_pointer(GtkMenu *menu, const GdkEvent *trigger_event) |
| |
40 { |
| |
41 const GdkEventButton *event = (const GdkEventButton *)trigger_event; |
| |
42 gtk_menu_popup(menu, NULL, NULL, NULL, NULL, |
| |
43 event ? event->button : 0, gdk_event_get_time(event)); |
| |
44 } |
| |
45 |
| 36 #if !GTK_CHECK_VERSION(3,16,0) |
46 #if !GTK_CHECK_VERSION(3,16,0) |
| 37 |
47 |
| 38 static inline void |
48 static inline void |
| 39 gtk_label_set_xalign(GtkLabel *label, gfloat xalign) |
49 gtk_label_set_xalign(GtkLabel *label, gfloat xalign) |
| 40 { |
50 { |