Function getFileLspUri

src/lib/editorManager.js:792–796

(file)

	}

	function getFileLspUri(file) {
		if (!file) return null;
		if (file.uri) return file.uri;
		return `${UNTITLED_URI_PREFIX}${file.id}`;
	}

	function getFileLanguageId(file) {
		if (!file) return "plaintext";