Carlos Garnacho 54dcff3aa2 backends: Monitor changes in active tools' settings
So the changes can be instantly applied while the tool is in proximity.
Before we would just do it on proximity-in, which doesn't provide a
good look&feel while modifying the tool settings in g-c-c.

https://gitlab.gnome.org/GNOME/mutter/issues/38

Closes: #38
2018-02-19 17:15:26 +01:00
..
2017-12-24 17:55:14 +08:00
2018-02-18 12:32:04 +01:00
2015-07-05 22:01:59 -07:00
2015-07-05 22:01:59 -07:00