Add custom cargo runners

2020-06-18 22:20:13 +03:00
parent c544f9a137
commit a43a9103bc
6 changed files with 72 additions and 55 deletions
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -110,6 +110,10 @@ export class Config {
        };
    }

+    get cargoRunner() {
+        return this.get<string | undefined>("cargoRunner");
+    }
+
    get debug() {
        // "/rustc/<id>" used by suggestions only.
        const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap");