diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 110e54180..8bceaaf72 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -108,10 +108,12 @@ export class Config { | |||
108 | } | 108 | } |
109 | 109 | ||
110 | get debug() { | 110 | get debug() { |
111 | // "/rustc/<id>" used by suggestions only. | ||
112 | const { ["/rustc/<id>"]: _, ...sourceFileMap } = this.get<Record<string, string>>("debug.sourceFileMap"); | ||
113 | |||
111 | return { | 114 | return { |
112 | engine: this.get<string>("debug.engine"), | 115 | engine: this.get<string>("debug.engine"), |
113 | sourceFileMap: this.get<Record<string, string>>("debug.sourceFileMap"), | 116 | sourceFileMap: sourceFileMap, |
114 | }; | 117 | }; |
115 | } | 118 | } |
116 | |||
117 | } | 119 | } |