Skip to content

Commit c084a5e

Browse files
Permit Modify Server-side Workspace Folder... before connection becomes active (#1477)
* Permit `Modify Server-side Workspace Folder...` before connection becomes active * Improve the fix
1 parent 7384a0b commit c084a5e

File tree

2 files changed

+9
-9
lines changed

2 files changed

+9
-9
lines changed

package.json

+2-2
Original file line numberDiff line numberDiff line change
@@ -297,7 +297,7 @@
297297
},
298298
{
299299
"command": "vscode-objectscript.modifyWsFolder",
300-
"when": "vscode-objectscript.connectActive && workspaceFolderCount != 0"
300+
"when": "workspaceFolderCount != 0"
301301
},
302302
{
303303
"command": "vscode-objectscript.openErrorLocation",
@@ -606,7 +606,7 @@
606606
},
607607
{
608608
"command": "vscode-objectscript.modifyWsFolder",
609-
"when": "vscode-objectscript.connectActive && resourceScheme =~ /^isfs(-readonly)?$/ && explorerResourceIsRoot && !listMultiSelection",
609+
"when": "(!resourceScheme || resourceScheme =~ /^isfs(-readonly)?$/) && explorerResourceIsRoot && !listMultiSelection",
610610
"group": "objectscript_modify@3"
611611
},
612612
{

src/commands/addServerNamespaceToWorkspace.ts

+7-7
Original file line numberDiff line numberDiff line change
@@ -397,20 +397,20 @@ export async function modifyWsFolder(wsFolderUri?: vscode.Uri): Promise<void> {
397397
if (!wsFolder) {
398398
return;
399399
}
400-
if (notIsfs(wsFolder.uri)) {
401-
vscode.window.showErrorMessage(
402-
`Workspace folder '${wsFolder.name}' does not have scheme 'isfs' or 'isfs-readonly'.`,
403-
"Dismiss"
404-
);
405-
return;
406-
}
407400
} else {
408401
// Find the workspace folder for this uri
409402
wsFolder = vscode.workspace.getWorkspaceFolder(wsFolderUri);
410403
if (!wsFolder) {
411404
return;
412405
}
413406
}
407+
if (notIsfs(wsFolder.uri)) {
408+
vscode.window.showErrorMessage(
409+
`Workspace folder '${wsFolder.name}' does not have scheme 'isfs' or 'isfs-readonly'.`,
410+
"Dismiss"
411+
);
412+
return;
413+
}
414414

415415
// Prompt the user to modify the uri
416416
const newUri = await modifyWsFolderUri(wsFolder.uri);

0 commit comments

Comments
 (0)