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 82f0a0566..603ff930d 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -134,8 +134,12 @@ export class Config { | |||
134 | } | 134 | } |
135 | 135 | ||
136 | get debug() { | 136 | get debug() { |
137 | // "/rustc/<id>" used by suggestions only. | 137 | let sourceFileMap = this.get<Record<string, string> | "auto">("debug.sourceFileMap"); |
138 | const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap"); | 138 | if (sourceFileMap !== "auto") { |
139 | // "/rustc/<id>" used by suggestions only. | ||
140 | const { ["/rustc/<id>"]: _, ...trimmed } = this.get<Record<string, string>>("debug.sourceFileMap"); | ||
141 | sourceFileMap = trimmed; | ||
142 | } | ||
139 | 143 | ||
140 | return { | 144 | return { |
141 | engine: this.get<string>("debug.engine"), | 145 | engine: this.get<string>("debug.engine"), |