diff --git a/src/vs/workbench/contrib/void/browser/editCodeService.ts b/src/vs/workbench/contrib/void/browser/editCodeService.ts index 6fef2290..69a7e41d 100644 --- a/src/vs/workbench/contrib/void/browser/editCodeService.ts +++ b/src/vs/workbench/contrib/void/browser/editCodeService.ts @@ -1733,6 +1733,7 @@ class EditCodeService extends Disposable implements IEditCodeService { const originalBounds = findTextInCode(block.orig, originalFileCode) // if error if (typeof originalBounds === 'string') { + console.log('Error finding text in code:') console.log('fullText', { fullText }) console.log('error:', originalBounds) console.log('block.orig:', block.orig) @@ -1820,6 +1821,8 @@ class EditCodeService extends Disposable implements IEditCodeService { onFinalMessage: async (params) => { const { fullText } = params + console.log('DONE!', fullText) + // 1. wait 500ms and fix lint errors - call lint error workflow // (update react state to say "Fixing errors") const blocks = extractSearchReplaceBlocks(fullText) 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 6469400b..5744da5e 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 @@ -666,6 +666,7 @@ type ToolHeaderParams = { isError?: boolean; isRejected?: boolean; numResults?: number; + hasNextPage?: boolean; children?: React.ReactNode; onClick?: () => void; isOpen?: boolean, @@ -677,6 +678,7 @@ const ToolHeaderWrapper = ({ desc1, desc2, numResults, + hasNextPage, children, isError, onClick, @@ -719,7 +721,7 @@ const ToolHeaderWrapper = ({ } {numResults !== undefined && ( - {`(`}{numResults}{` result`}{numResults !== 1 ? 's' : ''}{`)`} + {`(${numResults}${hasNextPage ? '+' : ''} result${numResults !== 1 ? 's' : ''})`} )} {isError && } @@ -1295,6 +1297,7 @@ const toolNameToComponent: { [T in ToolName]: { if (toolMessage.result.type === 'success') { const { value, params } = toolMessage.result componentParams.numResults = value.children?.length + componentParams.hasNextPage = value.hasNextPage componentParams.children = !value.children || (value.children.length ?? 0) === 0 ? undefined : {value.children.map((child, i) => ( {value.uris.map((uri, i) => ( {value.uris.map((uri, i) => (