Skip to content

Commit 5539519

Browse files
committed
Remove extra slash when opening folder
1 parent b566b66 commit 5539519

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

scripts/vscode.patch

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -556,7 +556,7 @@ index ede771a03e..bb40fcdd6b 100644
556556
if (!userDataProvider) {
557557
const remoteUserDataUri = this.getRemoteUserDataUri();
558558
diff --git a/src/vs/workbench/browser/web.simpleservices.ts b/src/vs/workbench/browser/web.simpleservices.ts
559-
index 25414d8733..73aca01cd2 100644
559+
index 25414d8733..a0de828393 100644
560560
--- a/src/vs/workbench/browser/web.simpleservices.ts
561561
+++ b/src/vs/workbench/browser/web.simpleservices.ts
562562
@@ -38,6 +38,9 @@ import { IRemoteAgentService } from 'vs/workbench/services/remote/common/remoteA
@@ -600,7 +600,7 @@ index 25414d8733..73aca01cd2 100644
600600
const uri = _uris[i];
601601
if ('folderUri' in uri) {
602602
- const newAddress = `${document.location.origin}/?folder=${uri.folderUri.path}${this.workbenchEnvironmentService.configuration.connectionToken ? `&tkn=${this.workbenchEnvironmentService.configuration.connectionToken}` : ''}`;
603-
+ const newAddress = `${window.location}/?folder=${uri.folderUri.path}${this.workbenchEnvironmentService.configuration.connectionToken ? `&tkn=${this.workbenchEnvironmentService.configuration.connectionToken}` : ''}`;
603+
+ const newAddress = `${window.location}?folder=${uri.folderUri.path}${this.workbenchEnvironmentService.configuration.connectionToken ? `&tkn=${this.workbenchEnvironmentService.configuration.connectionToken}` : ''}`;
604604
if (openFolderInNewWindow) {
605605
window.open(newAddress);
606606
} else {
@@ -609,7 +609,7 @@ index 25414d8733..73aca01cd2 100644
609609
}
610610
if ('workspaceUri' in uri) {
611611
- const newAddress = `${document.location.origin}/?workspace=${uri.workspaceUri.path}`;
612-
+ const newAddress = `${window.location}/?workspace=${uri.workspaceUri.path}`;
612+
+ const newAddress = `${window.location}?workspace=${uri.workspaceUri.path}`;
613613
if (openFolderInNewWindow) {
614614
window.open(newAddress);
615615
} else {

0 commit comments

Comments
 (0)