From 69697542bac0f94142313bff3130d507ecdb7f04 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Thu, 20 Mar 2025 00:46:10 -0700 Subject: [PATCH] misc fixes --- .../react/src/void-command-bar-tsx/VoidCommandBar.tsx | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/void/browser/react/src/void-command-bar-tsx/VoidCommandBar.tsx b/src/vs/workbench/contrib/void/browser/react/src/void-command-bar-tsx/VoidCommandBar.tsx index 9cc33081..36d13173 100644 --- a/src/vs/workbench/contrib/void/browser/react/src/void-command-bar-tsx/VoidCommandBar.tsx +++ b/src/vs/workbench/contrib/void/browser/react/src/void-command-bar-tsx/VoidCommandBar.tsx @@ -85,7 +85,7 @@ const VoidCommandBar = ({ uri, editor }: { uri: URI | null, editor: ICodeEditor if (!s) return const { sortedDiffIds } = s // reveal - if (idx) { + if (idx !== null) { const diffid = sortedDiffIds[idx] const diff = editCodeService.diffOfId[diffid] const range = { startLineNumber: diff.startLine, endLineNumber: diff.startLine, startColumn: 1, endColumn: 1 }; @@ -103,7 +103,10 @@ const VoidCommandBar = ({ uri, editor }: { uri: URI | null, editor: ICodeEditor const nextURI = sortedCommandBarURIs[idx] editCodeService.diffAreasOfURI const { model } = await voidModelService.getModelSafe(nextURI) - if (model) { editor.setModel(model) } // switch to the URI + if (model) { + // switch to the URI + editorService.openCodeEditor({ resource: nextURI, options: { revealIfVisible: true } }, editor) + } }