editor-breite an fensterbreite anpassen (fixes #32)

Die Breite des Texteditors wird beim Laden der Seite festgelegt.  Wenn man
die Fenstergröße ändert, wird der Texteditor nicht angepasst, man, muss die
entsprechende Seite neu laden.