Fix undo and rssexec auto-selection

This commit is contained in:
Oliver Blanthorn 2020-10-13 16:10:51 +01:00
parent ddd574787e
commit 5a90d08dce
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3
2 changed files with 8 additions and 0 deletions

View file

@ -36,6 +36,10 @@ export class RssCompletionSource extends Completions.CompletionSourceFuse {
this._parent.appendChild(this.node)
}
setStateFromScore(scoredOpts: Completions.ScoredOption[]) {
super.setStateFromScore(scoredOpts, this.shouldSetStateFromScore)
}
onInput(...whatever) {
return this.updateOptions(...whatever)
}

View file

@ -82,6 +82,10 @@ export class SessionsCompletionSource extends Completions.CompletionSourceFuse {
return this.updateOptions(exstr)
}
setStateFromScore(scoredOpts: Completions.ScoredOption[]) {
super.setStateFromScore(scoredOpts, this.shouldSetStateFromScore)
}
private async updateOptions(exstr = "") {
this.lastExstr = exstr
const [prefix] = this.splitOnPrefix(exstr)