Substitute VSCode variables more generally

2023-01-24 13:43:56 +01:00
parent e46c242a38
commit ec9476015c
5 changed files with 87 additions and 85 deletions
--- a/editors/code/src/debug.ts
+++ b/editors/code/src/debug.ts
@@ -84,7 +84,7 @@ async function getDebugConfiguration(
            debugEngine = vscode.extensions.getExtension(engineId);
            if (debugEngine) break;
        }
-    } else {
+    } else if (debugOptions.engine) {
        debugEngine = vscode.extensions.getExtension(debugOptions.engine);
    }