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, 2 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 39e2f767c7..9821aee6f9 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -253,8 +253,8 @@ export class Config { return this.get<boolean>("trace.extension"); } - get discoverProjectCommand() { - return this.get<string[] | undefined>("discoverProjectCommand"); + get discoverProjectRunner(): string | undefined { + return this.get<string | undefined>("discoverProjectRunner"); } get problemMatcher(): string[] { |