Danke, Bastler, das war die entscheidende Idee! Hatte die Schriftgröße generell anfangs geändert, was auch nie Probleme gemacht hat. Nur nach Jahren bei diesem bescheuerten Fenster. Jetzt geht es wieder! Muss halt daran denken, die Größe wieder zu verändern, falls nötig.
Danke an alle.