diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2019-05-10 00:07:25 +0200 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2019-05-10 00:09:23 +0200 |
commit | 7f66aede0109a78bd829ba0390a154d19a02be9d (patch) | |
tree | 62c36482320deb2bca336b39d63b13c173e58d25 | |
parent | bd5a1121d62983b8c33a309439ae45dcf5bee512 (diff) | |
download | gnome-shell-wip/carlosg/fix-osk-warnings.tar.gz |
keyboard: Fix warnings on destroyed actorswip/carlosg/fix-osk-warnings
Trying to hide a page gets hard when the page was previouly destroyed.
Closes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/1281
-rw-r--r-- | js/ui/keyboard.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js index 3c5c65091..85c186a99 100644 --- a/js/ui/keyboard.js +++ b/js/ui/keyboard.js @@ -1477,6 +1477,7 @@ var Keyboard = class Keyboard { c.destroy(); }); + this._currentPage = null; this._groups = {}; this._onGroupChanged(); } |