Merge pull request #1494 from tgodzik/add-no-workspace

feat: allow for no workspace
scalameta · May 16, 2024 · da02de7 · da02de7
2 parents d1e9163 + c273ea4
commit da02de7
Showing 1 changed file with 3 additions and 8 deletions.
diff --git a/packages/metals-vscode/src/extension.ts b/packages/metals-vscode/src/extension.ts
@@ -193,13 +193,6 @@ async function fetchAndLaunchMetals(
   serverVersion: string,
   javaVersion: JavaVersion
 ) {
-  if (!workspace.workspaceFolders) {
-    const message = `Metals will not start because you've opened a single file and not a project directory.`;
-    window.showErrorMessage(message);
-    outputChannel.appendLine(message);
-    return;
-  }
-
   outputChannel.appendLine(`Metals version: ${serverVersion}`);
 
   /* eslint-disable @typescript-eslint/no-non-null-assertion */
@@ -223,7 +216,9 @@ async function fetchAndLaunchMetals(
   );
 
   const javaConfig = getJavaConfig({
-    workspaceRoot: workspace.workspaceFolders[0]?.uri.fsPath,
+    workspaceRoot: workspace.workspaceFolders
+      ? workspace.workspaceFolders[0]?.uri.fsPath
+      : undefined,
     javaHome,
     coursier,
     customRepositories,