Nee, ich wüsste auch gar nicht wo suchen. Das hatte damals Stefan Gänsler gemacht
Aber wenn ich die 1. Zeile links zu weit links anklicke, kommen die Zeilennummerierungen mit.
Ich hoffe dass der Fehler jetzt nicht trotzdem in anderen Unterforen auftaucht.
PS: Erwachsene Männer nehme ich schon lange nicht mehr auf den Arm
