[gnome-shell-extensions] native-window-placement: fix disabling the extension
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] native-window-placement: fix disabling the extension
- Date: Sun, 11 Nov 2012 18:27:06 +0000 (UTC)
commit 0bc41bcb1d507d564d3bdf4679e7a5a3fce0843e
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 98379a1..3329d61 100644
--- a/extensions/native-window-placement/extension.js
+++ b/extensions/native-window-placement/extension.js
@@ -313,7 +313,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);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]