[gnome-shell/wip/rstrode/rhel-7.9: 56/86] boxpointer: Ungrab pointer when hiding

[Ray Strode <halfline src gnome org>]

commit 87cf69b185bfe98aa928e649e7ad1e8a603cb20c
Author: Jonas Ådahl <jadahl gmail com>
Date:   Wed Oct 2 18:17:21 2019 +0200

    boxpointer: Ungrab pointer when hiding
    
    Otherwise we'll continue to receive pointer events, such as click and
    motion, while showing the hiding animation.

 js/ui/boxpointer.js | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index 47f718a845..de24daf522 100644
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -124,6 +124,10 @@ var BoxPointer = new Lang.Class({
         if (!this.actor.visible)
             return;
 
+        let pointerGrab = Clutter.get_pointer_grab();
+        if (pointerGrab && this.actor.contains(pointerGrab))
+            Clutter.ungrab_pointer();
+
         let xOffset = 0;
         let yOffset = 0;
         let themeNode = this.actor.get_theme_node();