Function dispatchLanguageExtension

src/lib/editorManager.js:1372–1382

(file, languageSignature, ext, warnKey)

	}

	function dispatchLanguageExtension(file, languageSignature, ext, warnKey) {
		try {
			editor.dispatch({
				effects: languageCompartment.reconfigure(ext || []),
			});
			file.session = editor.state;
			markLanguageReady(file, languageSignature, true);
		} catch (error) {
			warnRecoverable("Failed to apply language extensions.", error, warnKey);
		}
	}

	function resolveLanguageExtension(file, languageSignature, warnKey) {
		const langExtFn = file.currentLanguageExtension;