diff options
author | Stefan Haller <stefan@haller-berlin.de> | 2024-03-10 10:58:19 +0100 |
---|---|---|
committer | Stefan Haller <stefan@haller-berlin.de> | 2024-03-17 11:55:09 +0100 |
commit | a8797c72617b3ace7ce7c1c0eab469497e40b774 (patch) | |
tree | 6370fb8baef8b90da53b5d3b366d83d9b4ee2c37 /schema | |
parent | a82e26d11e4c937c8ca2fdef92bb75ae912e7b44 (diff) |
Default to substring filtering, add option to go back to fuzzy filtering
By default we now search for substrings; you can search for multiple substrings
by separating them with spaces. Add a config option gui.filterMode that can be
set to 'fuzzy' to switch back to the previous behavior.
Diffstat (limited to 'schema')
-rw-r--r-- | schema/config.json | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/schema/config.json b/schema/config.json index 3816dcea6..65383cd9f 100644 --- a/schema/config.json +++ b/schema/config.json @@ -357,6 +357,15 @@ "type": "string", "description": "Whether to stack UI components on top of each other.\nOne of 'auto' (default) | 'always' | 'never'", "default": "auto" + }, + "filterMode": { + "type": "string", + "enum": [ + "substring", + "fuzzy" + ], + "description": "How things are filtered when typing '/'.\nOne of 'substring' (default) | 'fuzzy'", + "default": "substring" } }, "additionalProperties": false, |