Ja schon mal ein dankeschön für die Antworten.

Vielleicht gibt es ja noch andere editoren, die nicht so zu den "klassischen" gehören.