Emmanuele Bassi 26d8ad7479 Be resilient in case there is no device manager ... It's possible to run Clutter with the 'null' input backend, which means that clutter_device_manager_get_default() may return NULL. In the future we may add a default dummy device manager, but right now it's safer to just add a simple NULL check in the places where we ask for the device manager.		2012-04-26 13:56:00 +01:00
..
clutter-backend-gdk-private.h
clutter-backend-gdk.c
clutter-backend-gdk.h
clutter-device-manager-gdk.c
clutter-device-manager-gdk.h
clutter-event-gdk.c	Be resilient in case there is no device manager	2012-04-26 13:56:00 +01:00
clutter-gdk.h
clutter-input-device-gdk.c	gdk: add new device types (GDK_SOURCE_TOUCHSCREEN, GDK_SOURCE_TOUCHPAD)	2012-03-12 13:19:34 +01:00
clutter-input-device-gdk.h
clutter-settings-gdk.h
clutter-stage-gdk.c
clutter-stage-gdk.h	gdk: Relay scroll delta from GDK	2012-03-19 14:29:23 +00:00