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 ee9ba7465a..15a1d4e0f1 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -220,6 +220,10 @@ export class Config { return this.get<string[] | undefined>("discoverProjectCommand"); } + get problemMatcher(): string[] { + return this.get<string[]>("runnables.problemMatcher") || []; + } + get cargoRunner() { return this.get<string | undefined>("cargoRunner"); } |