diff options
| author | Carlos Garnacho <carlosg@gnome.org> | 2020-02-05 16:49:34 +0100 |
|---|---|---|
| committer | Florian Müllner <florian.muellner@gmail.com> | 2020-02-05 16:17:30 +0000 |
| commit | 5c570460cfb02cf5fd39d9afa328220703559001 (patch) | |
| tree | 0434e4b2f408be34894211bf9e3fad270a966762 | |
| parent | 07882c4b6adca1bd938c9bdfeae72ce5290cb66d (diff) | |
| download | gnome-shell-wip/carlosg/drop-device-idle-monitors.tar.gz | |
magnifier: Use core idletime monitorwip/carlosg/drop-device-idle-monitors
As it's getting the idletime monitor for the seat pointer, boils
down to about the same thing. We are moving away from per-device
idletime monitors though.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/978
| -rw-r--r-- | js/ui/magnifier.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/js/ui/magnifier.js b/js/ui/magnifier.js index 953277dd9..d7d3506a5 100644 --- a/js/ui/magnifier.js +++ b/js/ui/magnifier.js @@ -745,8 +745,7 @@ var ZoomRegion = class ZoomRegion { this._xCaret = 0; this._yCaret = 0; - let seat = Clutter.get_default_backend().get_default_seat(); - this._pointerIdleMonitor = Meta.IdleMonitor.get_for_device(seat.get_pointer()); + this._pointerIdleMonitor = Meta.IdleMonitor.get_core(); this._scrollContentsTimerId = 0; } |