Tweak isfs workaround for vscode.workspace.getWorkspaceFolder quirk

gjsjohnmurray · gjsjohnmurray · commit a22747f1f67c · 2020-08-19T22:57:30.000+01:00
diff --git a/src/commands/compile.ts b/src/commands/compile.ts
@@ -124,7 +124,7 @@ What do you want to do?`,
 
 function updateOthers(others: string[], baseUri: vscode.Uri) {
   let workspaceFolder = vscode.workspace.getWorkspaceFolder(baseUri);
-  if (!workspaceFolder && baseUri.scheme !== "file") {
+  if (!workspaceFolder && (baseUri.scheme === FILESYSTEM_SCHEMA || baseUri.scheme === FILESYSTEM_READONLY_SCHEMA)) {
     // hack to deal with problem seen with isfs* schemes
     workspaceFolder = vscode.workspace.getWorkspaceFolder(baseUri.with({ path: "" }));
   }

Original file line number	Diff line number	Diff line change
@@ -124,7 +124,7 @@ What do you want to do?`,
`124`	`124`
`125`	`125`	`function updateOthers(others: string[], baseUri: vscode.Uri) {`
`126`	`126`	`let workspaceFolder = vscode.workspace.getWorkspaceFolder(baseUri);`
`127`		`- if (!workspaceFolder && baseUri.scheme !== "file") {`
	`127`	`+ if (!workspaceFolder && (baseUri.scheme === FILESYSTEM_SCHEMA \|\| baseUri.scheme === FILESYSTEM_READONLY_SCHEMA)) {`
`128`	`128`	`// hack to deal with problem seen with isfs* schemes`
`129`	`129`	`workspaceFolder = vscode.workspace.getWorkspaceFolder(baseUri.with({ path: "" }));`
`130`	`130`	`}`