[gnome-shell/wip/fmuellner/fix-panel-flicker] panel: Also ignore hidden windows for proximity

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

commit a0dc8dc7ef8d1599205080195f58af196c73d444
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Oct 23 16:05:01 2018 +0200

    panel: Also ignore hidden windows for proximity
    
    We currently only ignore minimized windows, not windows that are
    hidden for other reasons - namely on wayland windows are initially
    hidden until they are placed.
    
    This fixes a flicker in the transparent top bar on wayland when the
    "position" of an unplaced window wrongly suggests the window is
    overlapping the top bar.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/693

 js/ui/panel.js | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 49759af4c..1c6445a35 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -1087,6 +1087,7 @@ var Panel = new Lang.Class({
         let windows = activeWorkspace.list_windows().filter(metaWindow => {
             return metaWindow.is_on_primary_monitor() &&
                    metaWindow.showing_on_its_workspace() &&
+                   !metaWindow.is_hidden() &&
                    metaWindow.get_window_type() != Meta.WindowType.DESKTOP;
         });