Function applyOptions

src/lib/editorManager.js:689–707

(keys)

	}

	function applyOptions(keys) {
		const filter = keys ? new Set(keys) : null;
		for (const spec of cmOptionSpecs) {
			if (filter && !spec.keys.some((k) => filter.has(k))) continue;
			const built = spec.build();
			const effects = [];
			if (spec.compartments.length === 1) {
				effects.push(spec.compartments[0].reconfigure(built));
			} else {
				const arr = Array.isArray(built) ? built : [built];
				for (let i = 0; i < spec.compartments.length; i++) {
					const comp = spec.compartments[i];
					const ext = arr[i] ?? [];
					effects.push(comp.reconfigure(ext));
				}
			}
			editor.dispatch({ effects });
		}
	}

	function buildLspMetadata(file) {
		if (!file || file.type !== "editor") return null;