[Greasemonkey] Edit Script Values from Script Manager

[Jeremy Dunck]

On 6/2/06, Lenny Domnitser <ldrhcp at gmail.com> wrote:
> I decided that before
> I continue, maybe I should run it by the list and the devs. I attached
> a screenshot (not a mockup) of the dialog in action.
>
> If there is interest in including this feature I can probably finish
> it up pretty quickly and try to figure out how to use cvs diff.

My knee-jerk was that the existing pref editor (about:config) is fine
as-is.  But on second thought, this removes the last user-facing
dependency on moz's pref store (since devs won't need to go directly
to about:config).

If you're not already, please consider a adding a method to
GM_PrefManager to list the values rather than directly using Moz's
pref manager.  Some day, I'd still like to make the pref store more
scalable, which probably means moving off the FF pref store.