[Greasemonkey] Re: Edit Script Values from Script Manager

[Nikolas Coukouma]

Jeremy Dunck wrote:
> 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.
I'd certainly like to see this.

> 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).

Mm, encapsulation.

> 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.

I second this. With Firefox 2, mozStorage/SQLite will be built-in. I may
wet myself.

-Nikolas