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-win32.c

…

clutter-backend-win32.h

…

clutter-device-manager-win32.c

…

clutter-device-manager-win32.h

…

clutter-event-win32.c

…

clutter-stage-win32.c

…

clutter-stage-win32.h

…

clutter-win32.h

…

invisible-cursor.cur

…

resources.rc

…