Method closeFile

src/cm/lsp/workspace.ts:154–166

(uri: string, view?: EditorView)

	}

	closeFile(uri: string, view?: EditorView): void {
		const file = this.#getFileEntry(uri);
		if (!file) return;

		if (view && file.views.has(view)) {
			file.views.delete(view);
		}

		if (!file.views.size) {
			this.client.didClose(uri);
			this.#removeFileEntry(file);
		}
	}

	getFile(uri: string): AcodeWorkspaceFile | null {
		return this.#getFileEntry(uri);