Method updateFile

src/cm/lsp/workspace.ts:182–198

(uri: string, update: TransactionSpec)

	}

	updateFile(uri: string, update: TransactionSpec): void {
		const file = this.#getFileEntry(uri);

		if (file) {
			const view = file.getView();
			if (view) {
				view.dispatch(update);
				return;
			}
		}

		// File is not open - try to open it and apply the update
		this.#applyUpdateToClosedFile(uri, update).catch((error) => {
			this.#log("warn", `Workspace failed to apply update: ${uri}`, error);
			console.warn(`[LSP:Workspace] Failed to apply update: ${uri}`, error);
		});
	}

	async #applyUpdateToClosedFile(
		uri: string,