Carlos Garnacho c601a824e9 clutter: Update device for the current tool in backends
This should happen deeper in backends, not here in clutter-main.

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1403>
2020-11-27 15:14:33 +00:00
..
2018-11-06 17:17:36 +01:00
2019-10-21 14:04:30 +00:00
2019-10-21 14:04:30 +00:00
2019-10-21 14:04:30 +00:00
2019-01-22 18:31:53 +01:00
2019-01-22 18:31:53 +01:00