-
-#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
-
-
-