Function getBaseExtensionSignature

src/lib/editorManager.js:447–452

()

	}

	function getBaseExtensionSignature() {
		const options = getBaseExtensionOptions();
		return JSON.stringify(
			baseExtensionSettings.map((key) => [key, options[key]]),
		);
	}

	function makeRainbowBracketExtension() {
		const enabled = appSettings?.value?.rainbowBrackets ?? true;