From 8d2e8c8cb1cfcd010d1427a5b23f67bc3ecfb735 Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Sun, 11 Nov 2012 19:26:18 +0100 Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/native-window-placement/extension.js b/extensions/native-window-placement/extension.js index b11d3828..4a722c88 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);