[gnome-shell-extensions] windowsNavigator: update for gnome-shell changes

[Giovanni Campagna <gcampagna src gnome org>]

commit b907e44fdf9c445271e7218c0c706d45ede17513
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Feb 4 23:50:51 2013 +0100

    windowsNavigator: update for gnome-shell changes
    
    Update for the new way to layout window overlays

 extensions/windowsNavigator/extension.js |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 0c54244..c38a98f 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -206,7 +206,9 @@ function enable() {
         parentActor.add_actor(this._text);
     });
 
-    winInjections['updatePositions'] = injectToFunction(Workspace.WindowOverlay.prototype, 'updatePositions', function(cloneX, cloneY, cloneWidth, cloneHeight) {
+    winInjections['relayout'] = injectToFunction(Workspace.WindowOverlay.prototype, 'relayout', function(animate) {
+        let [cloneX, cloneY, cloneWidth, cloneHeight] = this._windowClone.slot;
+
         let textX = cloneX - 2;
         let textY = cloneY - 2;
         this._text.set_position(Math.floor(textX) + 5, Math.floor(textY) + 5);