()
| 75 | } |
| 76 | |
| 77 | private async fetchBuiltins(): Promise<SourceApiEntry[]> { |
| 78 | return new Promise(resolve => { |
| 79 | $.getJSON(window.location.origin + this.base + 'source/builtin/list', resolve); |
| 80 | }); |
| 81 | } |
| 82 | |
| 83 | public initializeIfNeeded() { |
| 84 | if (this.modal === null || this.modal.length === 0) { |
no test coverage detected