Aktualisierter Texteditor bringt drei kleine Neuerungen