Function scheduleLspForFile

src/lib/editorManager.js:1422–1428

(file)

	}

	function scheduleLspForFile(file) {
		const fileId = file?.id;
		window.setTimeout(() => {
			if (!fileId || manager.activeFile?.id !== fileId) return;
			void configureLspForFile(file);
		}, 80);
	}

	function applyCurrentEditorOptions(file, { forceOptions = false } = {}) {
		touchSelectionController?.onSessionChanged();