mur

In den Einstellungen kann man die Größe des Editorfensters festlegen.