Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 51a0aece82..92a816bfbc 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -266,6 +266,10 @@ export class Config { return this.get<string | undefined>("cargoRunner"); } + get testExplorer() { + return this.get<boolean | undefined>("testExplorer"); + } + get runnablesExtraEnv() { const item = this.get<any>("runnables.extraEnv") ?? this.get<any>("runnableEnv"); if (!item) return item; |