Function lspServerDetail

src/settings/lspServerDetail.js:500–784

(serverId)

}

export default function lspServerDetail(serverId) {
	const initialServer = lspApi.servers.get(serverId);
	if (!initialServer) {
		toast(strings["lsp-server-not-found"]);
		return null;
	}

	const directWebSocket = isDirectWebSocketServer(
		getMergedConfig(initialServer),
	);
	const initialSnapshot = {
		liveServer: initialServer,
		merged: getMergedConfig(initialServer),
		override: getServerOverride(serverId),
		directWebSocket,
		isCustom: isCustomServer(serverId),
		installResult: {
			status: "unknown",
			version: null,
			canInstall: !directWebSocket,
			canUpdate: !directWebSocket,
			message: strings["lsp-checking-installation-status"],
		},
		builtinExts:
			getMergedConfig(initialServer).clientConfig?.builtinExtensions || {},
		installCommand: null,
		updateCommand: null,
		uninstallCommand: null,
	};

	const items = createItems(initialSnapshot);
	const itemsByKey = new Map(items.map((item) => [item.key, item]));
	const page = settingsPage(
		initialServer.label || initialServer.id,
		items,
		callback,
		undefined,
		{
			preserveOrder: true,
			pageClassName: "detail-settings-page",
			listClassName: "detail-settings-list",
			valueInTail: true,
		},
	);

	const baseShow = page.show.bind(page);

	return {
		...page,
		show(goTo) {
			baseShow(goTo);
			const $list = document.querySelector("#settings .main.list");
			refreshVisibleState($list, itemsByKey, serverId).catch(console.error);
		},
	};

	async function callback(key, value) {
		const $list = this?.parentElement;