From 9b3d4cbdba0e6b5c4975b5b6a97307416429f5d0 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Mon, 14 Apr 2025 13:33:49 -0700 Subject: [PATCH] lint errors --- .../void/browser/react/src/sidebar-tsx/SidebarChat.tsx | 7 +++++-- 1 file changed, 5 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 5daab642..78e23395 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 @@ -1361,7 +1361,7 @@ const EditToolLintErrors = ({ lintErrors }: { lintErrors: LintErrorItem[] }) => return (
- { setIsOpen(o => !o) }} > + { setIsOpen(o => !o) }} > @@ -1660,7 +1660,10 @@ const toolNameToComponent: { [T in ToolName]: { resultWrapper: ResultWrapper, if (toolMessage.type === 'success') { const { params, result } = toolMessage componentParams.onClick = () => { commandService.executeCommand('vscode.open', params.uri, { preview: true }) } - + if (result.lintErrors) + componentParams.children = + else + componentParams.children = `No lint errors found.` } else if (toolMessage.type === 'tool_error') {