Viele Fehler im Texteditor behoben, die nach einem automatischen Speichern auftraten.
