Doppelte Leerzeichen

Eine Kleinigkeit - aber für Freunde des guten Schriftsatzes nervig: zwei Leerzeichen im Text, die bei der Eingabe entstanden sind. Schwer zu erkennen. Müssten aber wahrscheinlich nicht nur unterringelt werden, sondern ähnlich wie bei Papyrus Autor mit einem durchgestrichenen Kasten markiert werden.

Die werden doch vom Duden Korrektor moniert - da ist kein Handlungsbedarf.

Sorry, Asche auf mein Haupt. Aus irgendwelchen Gründen ist bei mir beim Duden-Korrektor die Einstellung “Rechtschreibung überprüfen” statt “Grammatik überprüfen” eingestellt gewesen. Und da haben ihn die beiden Leerzeichen nicht interessiert.