Function setTerminalTheme

src/pages/themeSetting/themeSetting.js:206–230

(name)

	}

	function setTerminalTheme(name) {
		if (appSettings.value.appTheme?.toLowerCase() === "system") {
			alert(
				strings.info,
				"Terminal theme cannot be changed while the app theme is set to 'System'.",
			);
			return;
		}

		const currentSettings = appSettings.value.terminalSettings || {};
		appSettings.update({
			terminalSettings: {
				...currentSettings,
				theme: name,
			},
		});
		if (editorManager != null) {
			updateActiveTerminals("theme", name);
		}
		if ($themePreview.parentElement) {
			createTerminalPreview(name);
		}
		const label = name.charAt(0).toUpperCase() + name.slice(1);
		updateCheckedItem(label);
	}

	function createTerminalPreview(themeName) {
		destroyPreview("create");