[Greasemonkey] force writing of prefs.js? - GM_setValue

[Aaron Boodman]

This function is easy to add, I just did not know how to do it when I
originally wrote that function. Sorry.

Some other people have been asking for it. I can add it in the next version.

Maybe I will target it for this weekend. Is there anything else,
besides the icon (:-) which I should be adding? They need to be fairly
simple, or already have code that somebody has written...

- a

On 4/3/06, Roderick McGuire <mcguire at telerama.com> wrote:
> Is there any way to force writing of prefs.js?
>
> Greasemonkey uses prefs.js to implement GM_setValue, and prefs.js only
> seems to be written when firefox exits.
>
> If I've been running firefox for a while with scripts making a lot of
> GM_setValue updates, they all are lost if firefox crashes.
>
> Maybe add a function like GM_synchValues, and recommend that it be used
> sparingly. Or maybe GM could keep track of whether a script has changed
> any values and automatically synch the values when they have been
> quiescent for say 1 minute.
>
> Is there just one version of GM_setValue that all scripts share, or does
> each script run its own copy of GM_setValue?
>
> _______________________________________________
> Greasemonkey mailing list
> Greasemonkey at mozdev.org
> http://mozdev.org/mailman/listinfo/greasemonkey
>