[Greasemonkey] Edit Script Values from Script Manager

[Lenny Domnitser]

I've attached a patch, which does not include any of the new files,
and the three new files. The RCS paths of these files are at the top
of the patch:

? src/chrome/chromeFiles/content/editprefs.js
? src/chrome/chromeFiles/content/editprefs.xul
? src/chrome/chromeFiles/locale/en-US/gm-editprefs.properties

Sorry about all the trouble. Hopefully this will now work.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: greasemonkey.patch
Type: text/x-patch
Size: 5122 bytes
Desc: not available
Url : http://mozdev.org/pipermail/greasemonkey/attachments/20060607/efa0035a/greasemonkey.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: editprefs.js
Type: application/x-javascript
Size: 7783 bytes
Desc: not available
Url : http://mozdev.org/pipermail/greasemonkey/attachments/20060607/efa0035a/editprefs.js
-------------- next part --------------
A non-text attachment was scrubbed...
Name: editprefs.xul
Type: application/vnd.mozilla.xul+xml
Size: 1768 bytes
Desc: not available
Url : http://mozdev.org/pipermail/greasemonkey/attachments/20060607/efa0035a/editprefs.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gm-editprefs.properties
Type: application/octet-stream
Size: 419 bytes
Desc: not available
Url : http://mozdev.org/pipermail/greasemonkey/attachments/20060607/efa0035a/gm-editprefs.obj