Function applyCurrentEditorOptions

src/lib/editorManager.js:1430–1452

(file, { forceOptions = false } = {})

	}

	function applyCurrentEditorOptions(file, { forceOptions = false } = {}) {
		touchSelectionController?.onSessionChanged();
		const optionsSignature = getEditorOptionsSignature();
		if (forceOptions || file.__cmOptionsSignature !== optionsSignature) {
			const desiredTheme = appSettings?.value?.editorTheme;
			if (desiredTheme) editor.setTheme(desiredTheme);
			applyOptions();
			file.__cmOptionsSignature = optionsSignature;
		}
		try {
			const ro = !file.editable || !!file.loading;
			editor.dispatch({
				effects: readOnlyCompartment.reconfigure(EditorState.readOnly.of(ro)),
			});
			file.session = editor.state;
		} catch (error) {
			warnRecoverable(
				"Failed to apply read-only compartment update.",
				error,
				"readonly-reconfigure",
			);
		}
	}

	function showLoadingEditor(file) {
		const loadingState = EditorState.create({