settings: more options

2025-07-07 18:17:57 +02:00
parent 32380d29c8
commit 2d6a897a66
2 changed files with 30 additions and 0 deletions
@@ -137,4 +137,19 @@ ContentPage {
            }
        }
    }
+
+    ContentSection {
+        title: "Search"
+
+        ConfigSwitch {
+            text: "Use Levenshtein distance-based algorithm instead of fuzzy"
+            checked: Config.options.search.sloppy
+            onCheckedChanged: {
+                Config.options.search.sloppy = checked;
+            }
+            StyledToolTip {
+                content: "Could be better if you make a ton of typos,\nbut results can be weird and might not work with acronyms\n(e.g. \"GIMP\" might not give you the paint program)"
+            }
+        }
+    }
 }