[gnome-shell-extensions/gnome-3-6] native-window-placement: fix disabling the extension

[Giovanni Campagna <gcampagna src gnome org>]

commit 8d2e8c8cb1cfcd010d1427a5b23f67bc3ecfb735
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sun Nov 11 19:26:18 2012 +0100

    native-window-placement: fix disabling the extension
    
    The monkey patch was being reinstalled under the wrong name.

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