replaced 10 with historyresults

This commit is contained in:
user753 2020-03-03 14:34:22 +03:00 committed by GitHub
parent 5706bdad80
commit cdbd4dd706
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -78,7 +78,7 @@ export class HistoryCompletionSource extends Completions.CompletionSourceFuse {
options += options ? " " : ""
// Options are pre-trimmed to the right length.
this.options = (await this.scoreOptions(query, 10)).map(
this.options = (await this.scoreOptions(query, config.get("historyresults"))).map(
page => new HistoryCompletionOption(options + page.url, page as any),
)