Ist Editor-Plugin Benuzterabhängig?

[grisu]

Hallo,

kann jeder Benutzer das Editor-Plugin selbst konfigurieren?
Oder anders: Kann jeder Benutzer seinen eigenen Editor angeben (ohne Abfrage vor dem Start ...)

Ich scheue mich, daß Plugin zu registrieren, ohne hierüber Klarheit zu haben - nicht jeder hat den Editor installiert, der auf meinem Rechner läuft.

Viele Grüße,
Thorsten

[Holger Biebinger]

Jeder Benutzer kann seinen editor selbst wählen. Sie können einstellen, daß der Editor automatisch gestartet wird oder ob vor dem Start der entsprechende Editor ausgewählt werden soll. So kann jeder Benutzer seinen favorisierten Editor benutzen.