Einen anderen Editor verwenden

Der Editor kann unter den persönlichen Einstellungen umgestellt werden.

1. Klicken Sie dazu auf ihre Initialen bzw. Ihr Profilbild in der rechten oberen Ecke und wählen Einstellungen.
2. Unter Nutzerkonto finden Sie Texteditor wählen.