Improve help and rename option

This commit is contained in:
Oliver Blanthorn 2021-04-09 12:40:35 +02:00
parent 017bc6fdf0
commit 8115c0dd8d
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3
2 changed files with 6 additions and 4 deletions

View file

@ -160,8 +160,8 @@ export abstract class CompletionSourceFuse extends CompletionSource {
includeScore: true,
findAllMatches: true,
ignoreLocation: true,
threshold: config.get("fuzzy_threshold"),
minMatchCharLength: 3,
threshold: config.get("completionfuzziness"),
minMatchCharLength: 1,
}
// PERF: Could be expensive not to cache Fuse()

View file

@ -1133,9 +1133,11 @@ export class default_config {
escapehatchsidebarhack: "true" | "false" = "true"
/**
* Threshold for fuzzy matching on completions. Lower => stricter matching
* Threshold for fuzzy matching on completions. Lower => stricter matching. Range between 0 and 1: 0 corresponds to perfect matches only. 1 will match anything.
*
* https://fusejs.io/api/options.html#threshold
*/
fuzzy_threshold = 0.3
completionfuzziness = 0.3
}
const platform_defaults = {