Pass TextDocumentShowOptions to showTextDocument

sourcegraph · Aug 22, 2024 · 06fd1a4 · 06fd1a4
1 parent aa6d660
commit 06fd1a4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/agent/src/vscode-shim.ts b/agent/src/vscode-shim.ts
@@ -1013,10 +1013,10 @@ _commands?.registerCommand?.('vscode.executeWorkspaceSymbolProvider', query => {
 _commands?.registerCommand?.('vscode.executeFormatDocumentProvider', uri => {
     return Promise.resolve([])
 })
-_commands?.registerCommand?.('vscode.open', async (uri: vscode.Uri) => {
+_commands?.registerCommand?.('vscode.open', async (uri: vscode.Uri, options?: vscode.TextDocumentShowOptions) => {
     const result = toUri(uri?.path)
     if (result) {
-        return _window.showTextDocument(result)
+        return _window.showTextDocument(result, options)
     }
     return open(uri.toString())
 })