X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Finclude%2Fgtk%2Fgtk.in.h;h=8df67cd0cc88aaaa5e1121988650a07fa0d84717;hb=c1f04750c4430bf3e7f0630842f879ee695b947d;hp=29fc7d5a968d28d0aec16cf21607744fd0702b9c;hpb=4eb2e820b01d92ef662c741f5ac30f08bedd1de6;p=pspp

diff --git a/src/ui/gui/include/gtk/gtk.in.h b/src/ui/gui/include/gtk/gtk.in.h
index 29fc7d5a96..8df67cd0cc 100644
--- a/src/ui/gui/include/gtk/gtk.in.h
+++ b/src/ui/gui/include/gtk/gtk.in.h
@@ -1,5 +1,5 @@
 /* Wrapper for <gtk/gtk.h>.
-   Copyright (C) 2011, 2012 Free Software Foundation, Inc.
+   Copyright (C) 2011, 2012, 2017 Free Software Foundation, Inc.
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -31,8 +31,18 @@
 
 
 #if (GTK_CHECK_VERSION(3,8,0) == 0)
-#define gtk_widget_register_window(widget, window) gdk_window_set_user_data (window, widget);
+#define gtk_widget_register_window(widget, window) gdk_window_set_user_data (window, widget)
 #endif
 
+#if (GTK_CHECK_VERSION(3,22,0) == 0)
+static inline void
+gtk_menu_popup_at_pointer (GtkMenu *menu, const GdkEvent *trigger)
+{
+  const GdkEventButton *be = trigger;
+  gtk_menu_popup (menu, NULL, NULL, NULL, NULL, be ? be->button : 0, be ?  be->time : 0);
+}
+#endif
+
+
 
 #endif /* PSPP_GTK_GTK_H */