From 271e43a1edffe24212072e05ae539d7c42b71869 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@3v1n0.net>
Date: Thu, 9 May 2019 16:11:26 -0500
Subject: [PATCH] keyboard: Remove unused _hideSubkeys function

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/540
---
 js/ui/keyboard.js | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index df2e3ed2f..b57aeec0c 100644
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -1626,18 +1626,6 @@ var Keyboard = class Keyboard {
         this.setCursorLocation(null);
     }
 
-    _hideSubkeys() {
-        if (this._subkeysBoxPointer) {
-            this._subkeysBoxPointer.hide(BoxPointer.PopupAnimation.FULL);
-            this._subkeysBoxPointer = null;
-        }
-        if (this._capturedEventId) {
-            this.actor.disconnect(this._capturedEventId);
-            this._capturedEventId = 0;
-        }
-        this._capturedPress = false;
-    }
-
     resetSuggestions() {
         if (this._suggestions)
             this._suggestions.clear();