Function lspSettings

src/settings/lspSettings.js:169–431

()

 * @returns {object} Settings page interface
 */
export default function lspSettings() {
	const title =
		strings?.lsp_settings || strings["language servers"] || "Language Servers";
	const categories = {
		customServers: strings["settings-category-custom-servers"],
		behavior: strings["settings-category-behavior"] || "Behavior",
		servers: strings["settings-category-servers"],
	};
	let page = createPage();

	return {
		show(goTo) {
			page = createPage();
			page.show(goTo);
		},
		hide() {
			page.hide();
		},
		search(key) {
			page = createPage();
			return page.search(key);
		},
		restoreList() {
			page.restoreList();
		},
		setTitle(nextTitle) {
			page.setTitle(nextTitle);
		},
	};

	function createPage() {
		const servers = serverRegistry.listServers();

		const sortedServers = servers.sort((a, b) => {
			const aEnabled = getServerOverride(a.id).enabled ?? a.enabled;
			const bEnabled = getServerOverride(b.id).enabled ?? b.enabled;

			if (aEnabled !== bEnabled) {
				return bEnabled ? 1 : -1;
			}
			return a.label.localeCompare(b.label);
		});

		const items = [
			{
				key: "allow_non_terminal_workspace",
				text: strings["lsp-allow-non-terminal-workspace"],
				checkbox: appSettings.value.lsp?.allowNonTerminalWorkspace === true,
				info: strings["settings-info-lsp-allow-non-terminal-workspace"],
				category: categories.behavior,
			},
			{
				key: "add_custom_server",
				text: strings["lsp-add-custom-server"],
				info: strings["settings-info-lsp-add-custom-server"],
				category: categories.customServers,
				index: 0,
				chevron: true,