diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2021-06-28 14:17:25 +0200 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2021-06-28 19:54:07 +0200 |
commit | a363f1343a74ae3265c11db9220ebd6eec0e21e1 (patch) | |
tree | 7d47d0cb11f9d0b7ce721938614924ffb676c922 | |
parent | 54a71944ba7dd3704fb839021e5a4a90acd68c30 (diff) | |
download | gnome-shell-a363f1343a74ae3265c11db9220ebd6eec0e21e1.tar.gz |
magnifier: Unset variable holding GSource ID
Otherwise we try to remove the no longer existing GSource
later on.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1902>
-rw-r--r-- | js/ui/magnifier.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/ui/magnifier.js b/js/ui/magnifier.js index d818a75b0..22c11766b 100644 --- a/js/ui/magnifier.js +++ b/js/ui/magnifier.js @@ -1166,6 +1166,8 @@ var ZoomRegion = class ZoomRegion { this._yDelayed = null; } + this._scrollContentsTimerId = 0; + return GLib.SOURCE_REMOVE; }); |