Don't hide chrome if fullscreened app isn't focused

The current behaviour is to hide cinnamon's chrome on a monitor if the monitor has a fullscreened app. This commit changes that behaviour so that chrome isn't hidden unless the fullscreened app is current top level window.

Author: fredcw

js/ui/layout.js

@@ -637,6 +637,8 @@ Chrome.prototype = {
         global.display.connect('restacked',
                               Lang.bind(this, this._windowsRestacked));
         global.display.connect('in-fullscreen-changed', Lang.bind(this, this._updateVisibility));
+        global.display.connect('notify::focus-window', Lang.bind(this, this._updateVisibility));
+        global.display.connect('window-monitor-changed', Lang.bind(this, this._updateVisibility));
         global.window_manager.connect('switch-workspace', Lang.bind(this, this._queueUpdateRegions));
 
         // Need to update struts on new workspaces when they are added
@@ -773,18 +775,23 @@ Chrome.prototype = {
     },
 
     _updateVisibility: function() {
-        for (let i = 0; i < this._trackedActors.length; i++) {
-            let actorData = this._trackedActors[i], visible;
+        const monitorsInFullscreen = [];
+        this._monitors.forEach( monitor => {
+            const topWindow = this.getTopWindowOnMonitor(monitor.index)
+            monitorsInFullscreen[monitor.index] = topWindow && topWindow.is_fullscreen();
+        });
+
+        this._trackedActors.forEach( actorData => {
+            const monitor = this.findMonitorForActor(actorData.actor);
+            let visible = false;
             if (!actorData.isToplevel)
-                continue;
+                return;
             else if (global.stage_input_mode == Cinnamon.StageInputMode.FULLSCREEN) {
-                let monitor = this.findMonitorForActor(actorData.actor);
-
                 if (global.display.get_n_monitors() == 1 || !monitor.inFullscreen) {
                     visible = true;
                 } else {
                     if (Main.modalActorFocusStack.length > 0) {
-                        let modalActor = Main.modalActorFocusStack[Main.modalActorFocusStack.length - 1].actor;
+                        const modalActor = Main.modalActorFocusStack[Main.modalActorFocusStack.length - 1].actor;
 
                         if (this.findMonitorForActor(modalActor) == monitor) {
                             visible = true;
@@ -794,18 +801,33 @@ Chrome.prototype = {
             } else if (this._inOverview)
                 visible = true;
             else {
-                let monitor = this.findMonitorForActor(actorData.actor);
-                
-                if (!actorData.visibleInFullscreen && monitor && monitor.inFullscreen)
-                    visible = false;
-                else
+                if (actorData.visibleInFullscreen || !monitorsInFullscreen[monitor.index]) {
                     visible = true;
+                }
             }
             Main.uiGroup.set_skip_paint(actorData.actor, !visible);
-        }
+        });
+
         this._queueUpdateRegions();
     },
 
+    getTopWindowOnMonitor: function(monitorIndex) {
+        let topWindow = null, topWindowTime = 0;
+        global.get_window_actors().forEach(actor=> {
+            const window = actor.meta_window;
+            if (!window || window.get_monitor() !== monitorIndex ||
+                window.minimized || !window.showing_on_its_workspace() ||
+                window.get_workspace() !== global.workspace_manager.get_active_workspace())
+                return;
+            if (window.get_user_time() > topWindowTime) {
+                topWindowTime = window.get_user_time();
+                topWindow = window;
+            }
+        });
+        
+        return topWindow;
+    },
+
     _overviewShowing: function() {
         this._inOverview = true;
         this._updateVisibility();

js/ui/panel.js

@@ -1293,7 +1293,7 @@ PanelDummy.prototype = {
 
         this.actor = new Cinnamon.GenericContainer({style_class: "panel-dummy", reactive: true, track_hover: true, important: true});
 
-        Main.layoutManager.addChrome(this.actor, { addToWindowgroup: false });
+        Main.layoutManager.addChrome(this.actor, { addToWindowgroup: false, visibleInFullscreen: true });
         //
         // layouts set to be full width horizontal panels, and vertical panels set to use as much available space as is left
         //