Martii / greasemonkey

Greasemonkey is a user script manager for Firefox.
http://userscripts.org/users/marti
Other
7 stars 2 forks source link

Remove and Disable buttons in AOM and Monkey menu Disable check not working #7

Closed Martii closed 13 years ago

Martii commented 13 years ago
Mozilla/5.0 (X11; Linux x86_64; rv:2.0.1) Gecko/20100101 Firefox/4.0.1  Clean Profile
Greasemonkey 0.9.4

Open Firefox in new profile Install add-on from AMO or use ./build.sh on current GM HEAD (should match as of right now) Restart Install any script Open AOM in new tab Click Disable... nothing happens visually Click Remove... nothing happens visually Navigate to page that injects script. Primary click monkey menu arrow Attempt to primary click disable script.... nothing visually happens

Mozilla/5.0 (X11; Linux x86_64; rv:2.0.1) Gecko/20100101 Firefox/4.0.1  Dirty Profile
Greasemonkey 0.9.4

Install add-on from AMO or use ./build.sh on current GM HEAD (should match as of right now) Restart Firefox Open AOM Click Disable... nothing happens visually Click Remove... nothing happens visually Navigate to page that injects script. Primary click monkey menu arrow Attempt to primary click disable script.... nothing visually happens

Martii commented 13 years ago

Reported upstream at greasemonkey#1355

Martii commented 13 years ago

Comment at greasemonkey#1355

Error Console output for AOM Disable click event and Monkey Menu click event
Error: enabled is not defined
Source File: chrome://greasemonkey/content/script.js
Line: 90
Martii commented 13 years ago

Comment at greasemonkey#1355

Most probable fix is:
Script.prototype.__defineSetter__('enabled',
function Script_setEnabled(enabled) {
  this._enabled = enabled;
  this._changed("edit-enabled", enabled);
});
Martii commented 13 years ago

Comment at greasemonkey#1355

Patch
Martii commented 13 years ago

Closed by greasemonkey@68cb0eb