Fix diagnostic code

2022-12-27 08:13:38 +02:00
parent 74ae2dd303
commit ddc0147d53
3 changed files with 21 additions and 2 deletions
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -241,6 +241,10 @@ export class Config {
    get previewRustcOutput() {
        return this.get<boolean>("diagnostics.previewRustcOutput");
    }
+
+    get useRustcErrorCode() {
+        return this.get<boolean>("diagnostics.useRustcErrorCode");
+    }
 }

 const VarRegex = new RegExp(/\$\{(.+?)\}/g);