[Greasemonkey] Edit Script Values from Script Manager

[Lenny Domnitser]

On 6/5/06, Jeremy Dunck <jdunck at gmail.com> wrote:
> 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).

I didn't even think of that, I just thought it was a handy way of
presenting a portion of about:config, but that is a good point. I'll
take it as a go-ahead. Hopefully I'll have it done pretty soon.

> 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'm currently using:

function GM_PrefManager(startPoint) {
  // ... snip ...
  this.listPrefs = function() {
    return pref.getChildList("", {}, {});
  }
}

I'm still not sure how to get cvs diff to work. I think I'm supposed
to use the -N flag to include new files in the patch, but I don't know
if this is possible with TortoiseCVS, and I can't seem to work the
command line version correctly. Instructions for  either version would
be appreciated.