diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 03f7d7cc3..e858f80bc 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -135,8 +135,12 @@ export class Config { | |||
135 | } | 135 | } |
136 | 136 | ||
137 | get debug() { | 137 | get debug() { |
138 | // "/rustc/<id>" used by suggestions only. | 138 | let sourceFileMap = this.get<Record<string, string> | "auto">("debug.sourceFileMap"); |
139 | const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap"); | 139 | if (sourceFileMap !== "auto") { |
140 | // "/rustc/<id>" used by suggestions only. | ||
141 | const { ["/rustc/<id>"]: _, ...trimmed } = this.get<Record<string, string>>("debug.sourceFileMap"); | ||
142 | sourceFileMap = trimmed; | ||
143 | } | ||
140 | 144 | ||
141 | return { | 145 | return { |
142 | engine: this.get<string>("debug.engine"), | 146 | engine: this.get<string>("debug.engine"), |