diff options
| author | vsrs <[email protected]> | 2020-04-29 12:13:57 +0100 |
|---|---|---|
| committer | vsrs <[email protected]> | 2020-04-29 12:13:57 +0100 |
| commit | 9153e96e88236e2f867dee8f0f291af5cfaf90f4 (patch) | |
| tree | 7e43f5a89926d78a2c763546672fe8c2bc099fe0 /editors/code/src/config.ts | |
| parent | 042917e6e3bc3cb05e08e487ee8a7d0d4ae3af6b (diff) | |
better configuration enum items
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 7764a2179..110e54180 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
| @@ -109,7 +109,7 @@ export class Config { | |||
| 109 | 109 | ||
| 110 | get debug() { | 110 | get debug() { |
| 111 | return { | 111 | return { |
| 112 | engine: this.get<null | string>("debug.engine"), | 112 | engine: this.get<string>("debug.engine"), |
| 113 | sourceFileMap: this.get<Record<string, string>>("debug.sourceFileMap"), | 113 | sourceFileMap: this.get<Record<string, string>>("debug.sourceFileMap"), |
| 114 | }; | 114 | }; |
| 115 | } | 115 | } |