Äquivalente Symbole beim Suchen von Text auf einer Seite („Suchen“/Strg+F, Chrome/Firefox)

Äquivalente Symbole beim Suchen von Text auf einer Seite („Suchen“/Strg+F, Chrome/Firefox)

Bei der Suche nach einem bestimmten Text auf einer Webseite mit der Funktion „Suchen“ / „Auf dieser Seite suchen“ (auch bekannt als Strg+F) unterscheiden Firefox und Chrome zwischen ASCII „-“, Unicode Halbgeviertstrich „–“ und Unicode Geviertstrich „—“. Wenn ich beispielsweise „Gauss-Jordan“ in diesem finden möchte,Wiki-Artikel, werde ich scheitern, weil der Autor zu meinem Unglück zu gebildet war und „Gauss–Jordan“ schrieb, wie es die Grammatikregeln vorschreiben.

Ich war überrascht, als ich feststellte, dass die Behandlung aller Unicode-Bindestriche und -Bindestriche als Äquivalente im Jahr 2021 immer noch ein Problem sein kann, da meine Browser kein Problem damit haben, „Gödel“ zu finden, wenn ich „Godel“ eingebe, und das ist schon seit einiger Zeit so. (Siehe auchWie kann man STRG+F dazu bringen, Akzente und diakritische Zeichen bei der Suche auf einer Seite in Google Chrome zu ignorieren?)

Meine Frage. Was sind die praktischsten Workarounds? Vielleicht gibt es ein Browser-Plug-in oder eine Markierung in den erweiterten Browsereinstellungen? Verstehe ich richtig, dass dies in der Verantwortung des Browsers und nicht des Betriebssystems liegt? Ich habe versucht, die Antwort im Internet zu finden, aber ohne Erfolg. Danke.

PS: Das gewünschte Verhalten besteht darin, dass alle Unicode-Bindestriche als Äquivalente zum ASCII-Bindestrich behandelt werden, da ich auf meiner Standardtastatur nur „-“ eingeben kann.

verwandte Informationen