2 ms·
There's the counter-issue of trying to search for some specific character, and instead matching the generic one. For example, searching "ā" on chrome or firefox
by dzaima 3y ago
There's the counter-issue of trying to search for some specific character, and instead matching the generic one. For example, searching "ā" on chrome or firefox finds all "a"s, which is extremely annoying if there's one "ā" on a page you want to find, and thousands of "a"s everywhere.
For dashes, if done right, it could be useful to be able to search the separate ones too - i.e. search for flag dashes but not ones in prose.
- bradrn 3y ago> For example, searching "ā" on chrome or firefox finds all "a"s, which is extremely annoying if there's one "ā" on a page you want to find, and thousands of "a"s everywhere. For reference, the ‘match diacritics’ option on Firefox toggles this behaviour. (It’s slightly misnamed, actually, since it’s more expansive than just diacritics: it also matches things like Unicode dashes for ASCII dashes, and so on.)
- dzaima 3y agoAh right, Firefox does have a nice option for this. I happened to check Chromium on desktop, but Firefox on Android (which were the browsers I had open already), which doesn't have this option.