diff options
author | vsrs <[email protected]> | 2020-06-18 20:20:13 +0100 |
---|---|---|
committer | vsrs <[email protected]> | 2020-06-24 08:53:49 +0100 |
commit | a43a9103bc9a8c1bf735d51c952bc3b9352a00c3 (patch) | |
tree | ab29bcaca605deb29328789e627d1100c5a9517d /editors/code/src/config.ts | |
parent | c544f9a137bd675fd6e9cc4c244ff4366ededb50 (diff) |
Add custom cargo runners
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 9591d4fe3..fc95a7de6 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -110,6 +110,10 @@ export class Config { | |||
110 | }; | 110 | }; |
111 | } | 111 | } |
112 | 112 | ||
113 | get cargoRunner() { | ||
114 | return this.get<string | undefined>("cargoRunner"); | ||
115 | } | ||
116 | |||
113 | get debug() { | 117 | get debug() { |
114 | // "/rustc/<id>" used by suggestions only. | 118 | // "/rustc/<id>" used by suggestions only. |
115 | const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap"); | 119 | const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap"); |