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.ts4
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index d8dbd1df16..eb4f965291 100644
--- 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);