mirror of
https://github.com/brl/mutter.git
synced 2025-01-23 09:59:03 +00:00
17c89bd0a0
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.