Ich schließe mich dem Wunsch an. Zwar ist es zu begrüßen, dass der "Text-Editor" insgesamt eher einfach gehalten ist, dennoch wären 1-2 "Komfort-Funktionen" erfreulich. Eine Änderungsmöglichkeit für die Fenstergröße wäre dabei am wichtigsten. Andernfalls kann das im gegenwär...