Function getEditorOptionsSignature

src/lib/editorManager.js:1314–1322

()

	}

	function getEditorOptionsSignature() {
		const values = appSettings?.value || {};
		const keys = new Set(["editorTheme"]);
		for (const spec of cmOptionSpecs) {
			spec.keys.forEach((key) => keys.add(key));
		}

		return JSON.stringify([...keys].sort().map((key) => [key, values[key]]));
	}

	function getRawEditorState(state) {
		return state?.__rawState || state || null;