Function getBaseExtensionOptions

src/lib/editorManager.js:433–441

()

	}

	function getBaseExtensionOptions() {
		const values = appSettings?.value || {};
		return Object.fromEntries(
			Object.entries(baseExtensionDefaults).map(([key, defaultValue]) => [
				key,
				values[key] ?? defaultValue,
			]),
		);
	}

	function createConfiguredBaseExtensions() {
		return createBaseExtensions(getBaseExtensionOptions());