mirror of
https://github.com/brl/mutter.git
synced 2025-02-09 01:54:10 +00:00
![Emmanuele Bassi](/assets/img/avatar_default.png)
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.