mirror of
https://github.com/brl/mutter.git
synced 2025-02-18 14:14:10 +00:00

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.