[gnome-shell] layout: Always allow hiding the overview

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

commit 2159d6886f4b64ca9e8357742feb11c2022b9f07
Author: Pascal Nowack <Pascal Nowack gmx de>
Date:   Fri Sep 21 16:58:26 2018 +0200

    layout: Always allow hiding the overview
    
    When a fullscreen application is focused,
    toggling the overview via hot-corner is disabled,
    even when the overview is currently visible.
    This only makes sense, when the overview is
    hidden to not to disturb the behaviour of the
    fullscreen application, but leaves an
    inconsistency when the overview is visible since
    it should work there like when a non-fullscreen-
    application is focused.
    
    So, always allow hiding the overview using the
    hot corner when the overview is visible.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/429

 js/ui/layout.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/layout.js b/js/ui/layout.js
index 6c7e934db..1e223934c 100644
--- a/js/ui/layout.js
+++ b/js/ui/layout.js
@@ -1237,7 +1237,7 @@ var HotCorner = new Lang.Class({
     },
 
     _toggleOverview() {
-        if (this._monitor.inFullscreen)
+        if (this._monitor.inFullscreen && !Main.overview.visible)
             return;
 
         if (Main.overview.shouldToggleByCornerOrButton()) {