Fix #838: remove errant space

This commit is contained in:
Oliver Blanthorn 2018-07-21 17:52:58 +01:00
parent e06516fec0
commit e5d2be73eb
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3

View file

@ -80,7 +80,7 @@ export class HistoryCompletionSource extends Completions.CompletionSourceFuse {
}
this.options = (await this.scoreOptions(query, 10)).map(
page => new HistoryCompletionOption(options + " " + page.url, page),
page => new HistoryCompletionOption(options + page.url, page),
)
this.updateChain()