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

WikiTippDesTages (zuletzt geändert am 2007-12-23 22:47:20 durch localhost)