[Greasemonkey] change editor

Jursa, Jan (init) Jan.Jursa at init.de
Tue Oct 4 17:43:19 EDT 2005


Ah !  :-)

Thanx




-----Ursprüngliche Nachricht-----
Von: greasemonkey-bounces at mozdev.org [mailto:greasemonkey-bounces at mozdev.org] Im Auftrag von chris feldmann
Gesendet: Dienstag, 4. Oktober 2005 16:31
An: greasemonkey at mozdev.org
Betreff: Re: [Greasemonkey] change editor

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
>


More information about the Greasemonkey mailing list