magnifier: Adapt to idle monitors API change

It takes Clutter input devices now, not device IDs.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/760
This commit is contained in:
Carlos Garnacho 2019-10-09 17:05:29 +02:00 committed by Carlos Garnacho
parent 5a006d9e79
commit 9aca26916c

View File

@ -745,7 +745,8 @@ var ZoomRegion = class ZoomRegion {
this._xCaret = 0; this._xCaret = 0;
this._yCaret = 0; this._yCaret = 0;
this._pointerIdleMonitor = Meta.IdleMonitor.get_for_device(Meta.VIRTUAL_CORE_POINTER_ID); let seat = Clutter.get_default_backend().get_default_seat();
this._pointerIdleMonitor = Meta.IdleMonitor.get_for_device(seat.get_pointer());
this._scrollContentsTimerId = 0; this._scrollContentsTimerId = 0;
} }