Zum Bereichsreparatur-Ppinsel habe ich eine Frage:
Wenn ich einen Bereich korrigiert habe
und muss da in einem Randbereich noch einmal
eine Stelle korrigieren, dann kommt statt des Korrekturpinsels
die Verschiebehand, weil an der Stelle eben schon der Rand
einer vorhandenen korrektur sitzt.
In...