From f0f536bc2d0ab623f5e3e4b43e0b179b354a6529 Mon Sep 17 00:00:00 2001
From: Andrew Pareles <andrewpareles@gmail.com>
Date: Fri, 23 May 2025 01:45:21 -0700
Subject: [PATCH] mcp ui

---
 .../void/browser/react/src/sidebar-tsx/SidebarChat.tsx    | 8 +++++++-
 .../void/browser/react/src/void-settings-tsx/Settings.tsx | 5 ++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/src/vs/workbench/contrib/void/browser/react/src/sidebar-tsx/SidebarChat.tsx b/src/vs/workbench/contrib/void/browser/react/src/sidebar-tsx/SidebarChat.tsx
index fa5a5fc9..26b12cc8 100644
--- a/src/vs/workbench/contrib/void/browser/react/src/sidebar-tsx/SidebarChat.tsx
+++ b/src/vs/workbench/contrib/void/browser/react/src/sidebar-tsx/SidebarChat.tsx
@@ -1868,7 +1868,13 @@ const MCPToolWrapper = ({ toolMessage }: WrapperProps<string>) => {
 	const { rawParams, params } = toolMessage
 	const componentParams: ToolHeaderParams = { title, desc1, isError, icon, isRejected, }
 
-	componentParams.info = `MCP server "${toolMessage.mcpServerName}"`
+	const paramsStr = JSON.stringify(params, null, 2)
+	componentParams.desc2 = <CopyButton codeStr={paramsStr} toolTipName={`Copy inputs: ${paramsStr}`} />
+
+	componentParams.info = !toolMessage.mcpServerName ? 'MCP tool not found' : undefined
+
+	// Add copy inputs button in desc2
+
 
 	if (toolMessage.type === 'success' || toolMessage.type === 'tool_request') {
 		const { result } = toolMessage
diff --git a/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx b/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx
index 5f6c632b..315cea60 100644
--- a/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx
+++ b/src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/Settings.tsx
@@ -943,7 +943,10 @@ const MCPServerComponent = ({ name, server }: { name: string, server: MCPServer
 							<span
 								key={tool.name}
 								className="px-2 py-0.5 bg-black/5 dark:bg-white/5 rounded text-xs"
-								title={tool.description || ''}
+
+								data-tooltip-id='void-tooltip'
+								data-tooltip-content={tool.description || ''}
+								data-tooltip-class-name='void-max-w-[20px]'
 							>
 								{tool.name}
 							</span>