X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Finclude%2Fgtk%2Fgtk.in.h;h=6bfb3d069b7b4fda5afdb097add54290be42d2a9;hb=7f0d18e1c856e42ef8fc910d785baace2900f7e6;hp=ab97cd7afa4b727e0008a2774d1db29eefd6ff57;hpb=71016039828718351e35f35dcda53b0492a0cc16;p=pspp

diff --git a/src/ui/gui/include/gtk/gtk.in.h b/src/ui/gui/include/gtk/gtk.in.h
index ab97cd7afa..6bfb3d069b 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, 2017 Free Software Foundation, Inc.
+   Copyright (C) 2011, 2012, 2017, 2020 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
@@ -29,20 +29,4 @@
 #define G_CONST_RETURN const
 #endif
 
-
-#if (GTK_CHECK_VERSION(3,8,0) == 0)
-#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 */