From 7f66aede0109a78bd829ba0390a154d19a02be9d Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Fri, 10 May 2019 00:07:25 +0200
Subject: [PATCH] keyboard: Fix warnings on destroyed actors

Trying to hide a page gets hard when the page was previouly destroyed.

Closes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/1281
---
 js/ui/keyboard.js | 1 +
 1 file changed, 1 insertion(+)

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();
     }