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

tkinter: WikiTippDesTages (last edited 2010-07-26 11:59:11 by localhost)