tridactyl/src/completions.ts

332 lines
10 KiB
TypeScript
Raw Normal View History

/*
Have an array of all completion sources. Completion sources display nothing if the filter doesn't match for them.
On each input event, call updateCompletions on the array. That will mutate the array and update the display as required.
How to handle cached e.g. buffer information going out of date?
Concrete completion classes have been moved to src/completions/.
*/
import * as Fuse from "fuse.js"
2018-09-29 16:12:02 -07:00
import { enumerate } from "@src/lib/itertools"
2018-09-29 16:02:21 -07:00
import { toNumber } from "@src/lib/convert"
2018-09-29 15:32:13 -07:00
import * as aliases from "@src/lib/aliases"
export const DEFAULT_FAVICON = browser.runtime.getURL(
"static/defaultFavicon.svg",
)
// {{{ INTERFACES
type OptionState = "focused" | "hidden" | "normal"
export abstract class CompletionOption {
2017-11-22 18:05:54 +00:00
/** What to fill into cmdline */
value: string
/** Control presentation of the option */
state: OptionState
}
export abstract class CompletionSource {
2017-11-22 18:05:54 +00:00
readonly options: CompletionOption[]
node: HTMLElement
public completion: string
protected prefixes: string[] = []
protected lastFocused: CompletionOption
private _state: OptionState
private _prevState: OptionState
constructor(prefixes) {
2019-04-13 09:46:23 +02:00
const commands = aliases.getCmdAliasMapping()
// Now, for each prefix given as argument, add it to the completionsource's prefix list and also add any alias it has
prefixes
.map(p => p.trim())
.forEach(p => {
this.prefixes.push(p)
if (commands[p])
this.prefixes = this.prefixes.concat(commands[p])
})
// Not sure this is necessary but every completion source has it
this.prefixes = this.prefixes.map(p => p + " ")
}
2017-11-22 18:05:54 +00:00
/** Update [[node]] to display completions relevant to exstr */
public abstract filter(exstr: string): Promise<void>
/** Control presentation of Source */
set state(newstate: OptionState) {
switch (newstate) {
case "normal":
this.node.classList.remove("hidden")
2017-11-22 18:05:54 +00:00
this.completion = undefined
break
case "hidden":
this.node.classList.add("hidden")
break
2017-11-22 18:05:54 +00:00
}
this._prevState = this._state
2017-11-22 18:05:54 +00:00
this._state = newstate
}
2017-11-22 18:05:54 +00:00
get state() {
return this._state
}
shouldRefresh() {
// A completion source should be refreshed if it is not hidden or if it just became hidden
return this._state !== "hidden" || this.state !== this._prevState
}
2017-11-29 23:47:40 +00:00
abstract next(inc?: number): boolean
2017-11-24 19:00:26 +00:00
prev(inc = 1): boolean {
return this.next(-1 * inc)
2017-11-24 19:00:26 +00:00
}
deselect() {
this.completion = undefined
if (this.lastFocused !== undefined) this.lastFocused.state = "normal"
}
2017-11-22 18:05:54 +00:00
}
2017-11-22 18:05:54 +00:00
// Default classes
export abstract class CompletionOptionHTML extends CompletionOption {
2017-11-22 18:05:54 +00:00
public html: HTMLElement
public value
private _state: OptionState = "hidden"
2017-11-22 18:05:54 +00:00
/** Control presentation of element */
set state(newstate: OptionState) {
2017-11-24 18:46:49 +00:00
// console.log("state from to", this._state, newstate)
2017-11-22 18:05:54 +00:00
switch (newstate) {
case "focused":
this.html.classList.add("focused")
this.html.classList.remove("hidden")
const myRect = this.html.getClientRects()[0]
if (myRect) {
const container = document.getElementById("completions")
const boxRect = container.getClientRects()[0]
if (myRect.bottom > boxRect.bottom)
this.html.scrollIntoView()
else if (myRect.top < boxRect.top)
this.html.scrollIntoView(false)
}
2017-11-22 18:05:54 +00:00
break
case "normal":
this.html.classList.remove("focused")
this.html.classList.remove("hidden")
break
case "hidden":
this.html.classList.remove("focused")
this.html.classList.add("hidden")
2017-11-22 18:05:54 +00:00
break
}
2017-11-24 18:46:49 +00:00
this._state = newstate
}
get state() {
return this._state
2017-11-22 18:05:54 +00:00
}
}
export interface CompletionOptionFuse extends CompletionOptionHTML {
2017-11-22 18:05:54 +00:00
// For fuzzy matching
fuseKeys: any[]
}
export interface ScoredOption {
index: number
option: CompletionOptionFuse
2017-11-22 18:05:54 +00:00
score: number
}
export abstract class CompletionSourceFuse extends CompletionSource {
2017-11-22 18:05:54 +00:00
public node
public options: CompletionOptionFuse[]
fuseOptions: Fuse.FuseOptions<any> = {
keys: ["fuseKeys"],
shouldSort: true,
id: "index",
includeScore: true,
}
// PERF: Could be expensive not to cache Fuse()
// yeah, it was.
fuse = undefined
protected lastExstr: string
2020-02-18 09:22:41 +08:00
protected sortScoredOptions = false
2017-11-22 18:05:54 +00:00
2019-04-02 18:59:47 +02:00
protected optionContainer = html`<table class="optionContainer"></table>`
2017-11-22 18:05:54 +00:00
constructor(prefixes, className: string, title?: string) {
super(prefixes)
2019-04-02 18:59:47 +02:00
this.node = html`<div class="${className} hidden">
2017-11-22 18:05:54 +00:00
<div class="sectionHeader">${title || className}</div>
2019-04-02 18:59:47 +02:00
</div>`
2017-11-22 18:05:54 +00:00
this.node.appendChild(this.optionContainer)
this.state = "hidden"
2017-11-22 18:05:54 +00:00
}
/* abstract onUpdate(query: string, prefix: string, options: CompletionOptionFuse[]) */
abstract onInput(exstr: string)
2017-11-22 18:05:54 +00:00
// Helpful default implementations
public async filter(exstr: string) {
this.lastExstr = exstr
2018-06-19 08:29:24 +02:00
await this.onInput(exstr)
return this.updateChain()
}
updateChain(exstr = this.lastExstr, options = this.options) {
if (options === undefined) {
this.state = "hidden"
return
2017-11-22 18:05:54 +00:00
}
const [prefix, query] = this.splitOnPrefix(exstr)
2017-11-24 18:46:49 +00:00
// console.log(prefix, query, options)
// Hide self and stop if prefixes don't match
2017-11-22 18:05:54 +00:00
if (prefix) {
// Show self if prefix and currently hidden
if (this.state === "hidden") {
this.state = "normal"
}
2017-11-22 18:05:54 +00:00
} else {
this.state = "hidden"
2017-11-22 18:05:54 +00:00
return
}
// Filter by query if query is not empty
if (query) {
this.setStateFromScore(this.scoredOptions(query))
// Else show all options
} else {
options.forEach(option => (option.state = "normal"))
}
2017-11-22 18:05:54 +00:00
// Call concrete class
this.updateDisplay()
}
select(option: CompletionOption) {
if (this.lastExstr !== undefined && option !== undefined) {
const [prefix] = this.splitOnPrefix(this.lastExstr)
this.completion = prefix + option.value
option.state = "focused"
2017-11-24 18:46:49 +00:00
this.lastFocused = option
} else {
throw new Error("lastExstr and option must be defined!")
}
}
splitOnPrefix(exstr: string) {
for (const prefix of this.prefixes) {
if (exstr.startsWith(prefix)) {
const query = exstr.replace(prefix, "")
return [prefix, query]
}
}
return [undefined, undefined]
2017-11-22 18:05:54 +00:00
}
2017-11-24 18:46:49 +00:00
2017-11-22 18:05:54 +00:00
/** Rtn sorted array of {option, score} */
scoredOptions(query: string, options = this.options): ScoredOption[] {
2019-04-13 09:46:23 +02:00
const searchThis = this.options.map((elem, index) => {
return { index, fuseKeys: elem.fuseKeys }
})
this.fuse = new Fuse(searchThis, this.fuseOptions)
2019-04-04 07:09:44 +02:00
return this.fuse.search(query).map(result => {
// console.log(result, result.item, query)
2019-04-13 09:46:23 +02:00
const index = toNumber(result.item)
return {
index,
option: this.options[index],
score: result.score as number,
2017-11-24 18:46:49 +00:00
}
})
2017-11-22 18:05:54 +00:00
}
/** Set option state by score
For now just displays all scored elements (see threshold in fuse) and
focus the best match.
*/
2017-11-24 18:46:49 +00:00
setStateFromScore(scoredOpts: ScoredOption[], autoselect = false) {
2019-04-13 09:46:23 +02:00
const matches = scoredOpts.map(res => res.index)
2017-11-22 18:05:54 +00:00
const hidden_options = []
2017-11-22 18:05:54 +00:00
for (const [index, option] of enumerate(this.options)) {
if (matches.includes(index)) option.state = "normal"
else {
option.state = "hidden"
hidden_options.push(option)
}
2017-11-22 18:05:54 +00:00
}
2017-11-24 18:46:49 +00:00
// ideally, this would not deselect anything unless it fell off the list of matches
if (matches.length && autoselect) {
this.select(this.options[matches[0]])
} else {
this.deselect()
}
// sort this.options by score
2020-02-18 09:22:41 +08:00
if (this.sortScoredOptions) {
const sorted_options = matches.map(index => this.options[index])
this.options = sorted_options.concat(hidden_options)
}
}
/** Call to replace the current display */
// TODO: optionContainer.replaceWith and optionContainer.remove don't work.
// I don't know why, but it means we can't replace the div in one go. Maybe
// an iframe thing.
updateDisplay() {
/* const newContainer = html`<div>` */
while (this.optionContainer.hasChildNodes()) {
this.optionContainer.removeChild(this.optionContainer.lastChild)
}
for (const option of this.options) {
/* newContainer.appendChild(option.html) */
if (option.state !== "hidden")
this.optionContainer.appendChild(option.html)
2017-11-22 18:05:54 +00:00
}
this.next(0)
/* console.log('updateDisplay', this.optionContainer, newContainer) */
/* let result1 = this.optionContainer.remove() */
/* let res2 = this.node.appendChild(newContainer) */
/* console.log('results', result1, res2) */
2017-11-22 18:05:54 +00:00
}
next(inc = 1) {
if (this.state !== "hidden") {
2019-04-13 09:46:23 +02:00
const visopts = this.options.filter(o => o.state !== "hidden")
const currind = visopts.findIndex(o => o.state === "focused")
2017-11-24 18:46:49 +00:00
this.deselect()
// visopts.length + 1 because we want an empty completion at the end
2019-04-13 09:46:23 +02:00
const max = visopts.length + 1
const opt = visopts[(currind + inc + max) % max]
if (opt) this.select(opt)
2017-11-24 18:46:49 +00:00
return true
} else return false
}
}
// }}}