| 89 | } |
| 90 | |
| 91 | _updateSelect() { |
| 92 | const select = this._codeSelectNode; |
| 93 | if (select.data === this._selectedEntries) return; |
| 94 | select.data = this._selectedEntries; |
| 95 | select.options.length = 0; |
| 96 | const sorted = |
| 97 | this._selectedEntries.slice().sort((a, b) => a.time - b.time); |
| 98 | for (const code of this._selectedEntries) { |
| 99 | const option = DOM.element('option'); |
| 100 | option.text = this._entrySummary(code); |
| 101 | option.data = code; |
| 102 | select.add(option); |
| 103 | } |
| 104 | } |
| 105 | _entrySummary(code) { |
| 106 | if (code.isBuiltinKind) { |
| 107 | return `${code.functionName}(...) t=${ |