(uri: string, languageId: string, view: EditorView)
| 147 | } |
| 148 | |
| 149 | openFile(uri: string, languageId: string, view: EditorView): void { |
| 150 | if (!view) return; |
| 151 | this.#getOrCreateFile(uri, languageId, view); |
| 152 | } |
| 153 | |
| 154 | closeFile(uri: string, view?: EditorView): void { |
| 155 | const file = this.#getFileEntry(uri); |
no test coverage detected