[gnome-shell-extensions] native-window-placement: update for gnome-shell changes

[Giovanni Campagna <gcampagna src gnome org>]

commit 5cb3e1877a2e5385a0214712b6c4049e5be4e5ce
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Aug 22 15:42:22 2012 +0200

    native-window-placement: update for gnome-shell changes
    
    Workspace.positionWindows semantics changed, so the function
    we want to override is now _realPositionWindows.

 extensions/native-window-placement/extension.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/native-window-placement/extension.js b/extensions/native-window-placement/extension.js
index 50e727c..b11d382 100644
--- a/extensions/native-window-placement/extension.js
+++ b/extensions/native-window-placement/extension.js
@@ -301,13 +301,13 @@ function enable() {
     workspaceInjections['_calculateWindowTransformationsNatural'] = undefined;
 
     /**
-     * positionWindows:
+     * _realPositionWindows:
      * @flags:
      *  INITIAL - this is the initial positioning of the windows.
      *  ANIMATE - Indicates that we need animate changing position.
      */
-    workspaceInjections['positionWindows'] = Workspace.Workspace.prototype.positionWindows;
-    Workspace.Workspace.prototype.positionWindows = function(flags) {
+    workspaceInjections['positionWindows'] = Workspace.Workspace.prototype._realPositionWindows;
+    Workspace.Workspace.prototype._realPositionWindows = function(flags) {
         if (this._repositionWindowsId > 0) {
             Mainloop.source_remove(this._repositionWindowsId);
             this._repositionWindowsId = 0;