8eb71af23d
We need debugging notes, to see what's happening when handling events. We need to queue a (clipped) redraw when receiving a GDK_EXPOSE event. We need to check the device (both master and source) of the event using the GdkEvent API, and pass them to the ClutterEvent using the corresponding Clutter API.