From d212a2f26dae5d60b9af49001b9e787acf463e69 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Tue, 2 Apr 2013 17:42:50 +0200
Subject: [PATCH] WindowList: fix behavior on fullscreen

LayoutManager will take care of our visibility, but we need to
adjust the message tray anchor point manually. Also, we must not
show ourselves when coming out of the overview if we're in fullscreen.

https://bugzilla.gnome.org/show_bug.cgi?id=696929
---
 extensions/window-list/extension.js | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 53434824..65796ba6 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -423,12 +423,17 @@ const WindowList = new Lang.Class({
 
         this._overviewHidingId =
             Main.overview.connect('hiding', Lang.bind(this, function() {
-                this.actor.show();
+                this.actor.visible = !Main.layoutManager.primaryMonitor.inFullscreen;
                 this._updateKeyboardAnchor();
                 this._updateMessageTrayAnchor();
             }));
         this._updateMessageTrayAnchor();
 
+        this._fullscreenChangedId =
+            global.screen.connect('in-fullscreen-changed', Lang.bind(this, function() {
+                this._updateMessageTrayAnchor();
+            }));
+
         this._settings = Convenience.getSettings();
         this._groupingModeChangedId =
             this._settings.connect('changed::grouping-mode',
@@ -584,6 +589,8 @@ const WindowList = new Lang.Class({
         Main.overview.disconnect(this._overviewShowingId);
         Main.overview.disconnect(this._overviewHidingId);
 
+        global.screen.disconnect(this._fullscreenChangedId);
+
         this._settings.disconnect(this._groupingModeChangedId);
 
         let windows = Meta.get_window_actors(global.screen);