diff options
author | vsrs <[email protected]> | 2020-05-06 14:01:35 +0100 |
---|---|---|
committer | vsrs <[email protected]> | 2020-05-06 14:06:21 +0100 |
commit | c4ca6e29c25df209c2733ef24b8b4eca70ee93a4 (patch) | |
tree | de8df0d319a37d75f24b14340e6f0fe2ca65b52b /editors/code/src/config.ts | |
parent | 1116c9a0e9992d0dea8dac87de95c8a74c093cff (diff) |
Uniformed way to get Debug Lens target executable.
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 | } |