feat: add startupTimeout setting to lsp settings

Author: bajrangCoder

src/lib/editorManager.js

@@ -630,6 +630,13 @@ async function EditorManager($header, $body) {
 							...config.initializationOptions,
 						};
 					}
+					if (
+						typeof config.startupTimeout === "number" &&
+						Number.isFinite(config.startupTimeout) &&
+						config.startupTimeout > 0
+					) {
+						next.startupTimeout = Math.floor(config.startupTimeout);
+					}
 					if (config.launcher && typeof config.launcher === "object") {
 						next.launcher = { ...current.launcher, ...config.launcher };
 					}
@@ -655,6 +662,7 @@ async function EditorManager($header, $body) {
 						transport: config.transport,
 						clientConfig: config.clientConfig,
 						initializationOptions: config.initializationOptions,
+						startupTimeout: config.startupTimeout,
 						launcher: config.launcher,
 						enabled: config.enabled !== false,
 					});

src/settings/lspServerDetail.js

@@ -24,6 +24,7 @@ function getMergedConfig(server) {
 	return {
 		...server,
 		enabled: override.enabled ?? server.enabled,
+		startupTimeout: override.startupTimeout ?? server.startupTimeout,
 		initializationOptions: {
 			...(server.initializationOptions || {}),
 			...(override.initializationOptions || {}),
@@ -47,11 +48,24 @@ function getMergedConfig(server) {
 async function updateServerConfig(serverId, partial) {
 	const current = JSON.parse(JSON.stringify(appSettings.value.lsp || {}));
 	current.servers = current.servers || {};
-	current.servers[serverId] = {
+	const nextServer = {
 		...(current.servers[serverId] || {}),
-		...partial,
 	};
 
+	Object.entries(partial || {}).forEach(([key, value]) => {
+		if (value === undefined) {
+			delete nextServer[key];
+			return;
+		}
+		nextServer[key] = value;
+	});
+
+	if (Object.keys(nextServer).length) {
+		current.servers[serverId] = nextServer;
+	} else {
+		delete current.servers[serverId];
+	}
+
 	await appSettings.update({ lsp: current }, false);
 }
 
@@ -146,6 +160,15 @@ export default function lspServerDetail(serverId) {
 		info: "View the server initialization options as JSON",
 	});
 
+	items.push({
+		key: "edit_startup_timeout",
+		text: "Startup Timeout",
+		info:
+			typeof merged.startupTimeout === "number"
+				? `${merged.startupTimeout} ms`
+				: "Default (5000 ms)",
+	});
+
 	items.push({
 		key: "edit_init_options",
 		text: "Edit Initialization Options",
@@ -210,6 +233,40 @@ export default function lspServerDetail(serverId) {
 				break;
 			}
 
+			case "edit_startup_timeout": {
+				const currentTimeout =
+					override.startupTimeout ?? server.startupTimeout ?? 5000;
+				const result = await prompt(
+					"Startup Timeout (milliseconds)",
+					String(currentTimeout),
+					"number",
+					{
+						test: (val) => {
+							const timeout = Number.parseInt(String(val), 10);
+							return Number.isFinite(timeout) && timeout >= 1000;
+						},
+					},
+				);
+
+				if (result !== null) {
+					const timeout = Number.parseInt(String(result), 10);
+					if (!Number.isFinite(timeout) || timeout < 1000) {
+						toast("Invalid timeout value");
+						break;
+					}
+
+					await updateServerConfig(serverId, {
+						startupTimeout: timeout,
+					});
+					serverRegistry.updateServer(serverId, (current) => ({
+						...current,
+						startupTimeout: timeout,
+					}));
+					toast(`Startup timeout set to ${timeout} ms`);
+				}
+				break;
+			}
+
 			case "edit_init_options": {
 				const currentInitOpts = override.initializationOptions || {};
 				const currentJson = JSON.stringify(currentInitOpts, null, 2);