2020-12-07T15:58:04 Make search case-insensitive.gmi (160B)
- 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.
git clone https://anongit.hacktivis.me/git/gemini-tickets.git/
2020-12-07T15:58:04 Make search case-insensitive.gmi (160B)
- 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.