GdkEvent event;
guint flags;
GdkScreen *screen;
+ gpointer windowing_data;
};
extern GdkEventFunc _gdk_event_func; /* Callback for events */
void _gdk_event_button_generate (GdkDisplay *display,
GdkEvent *event);
+void _gdk_windowing_event_data_copy (GdkEvent *dst,
+ GdkEvent *src);
+void _gdk_windowing_event_data_free (GdkEvent *event);
+
void gdk_synthesize_window_state (GdkWindow *window,
GdkWindowState unset_flags,
GdkWindowState set_flags);