static void clutter_backend_gdk_copy_event_data (ClutterBackend *backend, const ClutterEvent *src, ClutterEvent *dest) { GdkEvent *gdk_event; gdk_event = _clutter_event_get_platform_data (src); if (gdk_event != NULL) _clutter_event_set_platform_data (dest, gdk_event_copy (gdk_event)); }
static void clutter_backend_x11_copy_event_data (ClutterBackend *backend, const ClutterEvent *src, ClutterEvent *dest) { gpointer event_x11; event_x11 = _clutter_event_get_platform_data (src); if (event_x11 != NULL) _clutter_event_set_platform_data (dest, _clutter_event_x11_copy (event_x11)); }