(uri: string, view: EditorView)
| 455 | } |
| 456 | |
| 457 | detach(uri: string, view: EditorView): void { |
| 458 | for (const state of this.#clients.values()) { |
| 459 | state.detach(uri, view); |
| 460 | } |
| 461 | } |
| 462 | |
| 463 | async dispose(): Promise<void> { |
| 464 | try { |
no test coverage detected