[gnome-shell-extensions] WindowList: fix behavior on fullscreen

[Giovanni Campagna <gcampagna src gnome org>]

commit d212a2f26dae5d60b9af49001b9e787acf463e69
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Tue Apr 2 17:42:50 2013 +0200

    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 files changed, 8 insertions(+), 1 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 5343482..65796ba 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);