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
..
2012-04-21 13:46:00 +01:00
2011-11-10 19:05:39 +01:00
2012-04-17 18:10:39 +01:00
2012-03-20 14:36:58 +00:00
2012-02-23 12:01:11 +00:00
2011-10-19 15:23:55 +01:00
2011-10-19 15:23:55 +01:00
2011-11-10 14:13:45 +00:00
2012-04-17 18:10:39 +01:00
2012-01-16 23:35:16 +00:00
2012-03-16 16:16:40 +00:00
2012-02-23 17:21:57 +00:00
2012-03-20 12:06:21 +00:00
2012-04-17 18:10:39 +01:00
2012-03-19 14:29:24 +00:00
2012-04-17 18:10:39 +01:00