[gnome-shell-extensions] window-list: Update keyboard position on fullscreen changes

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

commit 9c23b52c1e6a77db4aa6b49b20d9b85690249d64
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Feb 6 18:33:50 2014 +0100

    window-list: Update keyboard position on fullscreen changes
    
    The visibility of the window list changes when a monitor enters or
    exits fullscreen, so we should update the OSK position accordingly.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=723693

 extensions/window-list/extension.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index ad914fb..fed1915 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -786,6 +786,7 @@ const WindowList = new Lang.Class({
 
         this._fullscreenChangedId =
             global.screen.connect('in-fullscreen-changed', Lang.bind(this, function() {
+                this._updateKeyboardAnchor();
                 this._updateMessageTrayAnchor();
             }));