[gnome-shell] viewSelector: Don't unfocus other modals on reset

[Florian Müllner <fmuellner src gnome org>]

commit fffe58f829d027e1861f229ab3bf367a5f7764e5
Author: Andrea Azzarone <andrea azzarone canonical com>
Date:   Thu Oct 4 14:05:44 2018 +0100

    viewSelector: Don't unfocus other modals on reset
    
    Don't drop the key focus on Clutter's side if anything but the overview has
    pushed a modal (e.g. system modals when activated using the overview).
    
    Closes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/618

 js/ui/viewSelector.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index c650886d2..6a235eccd 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -460,7 +460,11 @@ var ViewSelector = new Lang.Class({
     },
 
     reset() {
-        global.stage.set_key_focus(null);
+        // Don't drop the key focus on Clutter's side if anything but the
+        // overview has pushed a modal (e.g. system modals when activated using
+        // the overview).
+        if (Main.modalCount <= 1)
+            global.stage.set_key_focus(null);
 
         this._entry.text = '';