💾 Archived View for hacktivis.me › tickets › badwolf › 2020-12-07T15:58:04%20Make%20search%20case-in… captured on 2021-12-03 at 14:04:38. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Status: confirmed
Assigned-to: lanodan
Milestone: 1.1.0
Currently case is sensitive in web page search, unsure if it's a WebKitGTK bug or not, IIRC it is one.