clutter_event_set_device()
Use the relevant clutter device API `clutter_event_set_device()` instead of setting the device directly in the event field.