[Greasemonkey] change editor

[chris feldmann]

On 10/4/05, Jursa, Jan (init) <Jan.Jursa at init.de> wrote:
> Hi,
>
> this question must have been asked a thousand times, but I can't find
> the answer anywhere:
>
> how can I change the editor once I told firefox to use one?
>
> Thanx a lot,
> Jan

Put about:config in the URL bar as an address and then find the config
setting greasemonkey.editor and right-click it (changes per platform?)
to edit and set your path.

>
>
> _______________________________________________
> Greasemonkey mailing list
> Greasemonkey at mozdev.org
> http://mozdev.org/mailman/listinfo/greasemonkey
>