mirror of
https://github.com/brl/mutter.git
synced 2025-02-07 00:54:09 +00:00
![Emmanuele Bassi](/assets/img/avatar_default.png)
Create the device manager during the event initialization, where it makes sense. This allows us to get rid of the per-backend get_device_manager() virtual function, and just store the DeviceManager pointer into the ClutterBackend structure.