commit: 09d8f5289b8d2e0d9f132acb8ad70d17e0111d0f
parent e2cb1d2a004b21de7bdc97c9a5d11b79692af1c4
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Mon, 7 Dec 2020 16:59:10 +0100
[badwolf] 2020-12-07T15:58:04 Make search case-insensitive
Diffstat:
2 files changed, 11 insertions(+), 0 deletions(-)
diff --git a/badwolf/2020-12-07T15:58:04 Make search case-insensitive.gmi b/badwolf/2020-12-07T15:58:04 Make search case-insensitive.gmi
@@ -0,0 +1,5 @@
+Status: Open
+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.
diff --git a/badwolf/index.gmi b/badwolf/index.gmi
@@ -4,3 +4,9 @@ Status: Open
Assigned-to: lanodan
Milestone: 1.1.0
```
+=> 2020-12-07T15:58:04%20Make%20search%20case-insensitive.gmi 2020-12-07T15:58:04 Make search case-insensitive
+```
+Status: Open
+Assigned-to: lanodan
+Milestone: 1.1.0
+```