diff options
| author | vsrs <[email protected]> | 2020-05-07 15:07:58 +0100 |
|---|---|---|
| committer | vsrs <[email protected]> | 2020-05-07 15:07:58 +0100 |
| commit | 5426e2927e317a5e78179a5bd74b9414c0651b86 (patch) | |
| tree | 0f8d8b987f6e3c5765cfbad5c66791954893a1c2 /editors/code/src/config.ts | |
| parent | c4ca6e29c25df209c2733ef24b8b4eca70ee93a4 (diff) | |
Add additional debug options
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 8bceaaf72..533be1913 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
| @@ -113,6 +113,8 @@ export class Config { | |||
| 113 | 113 | ||
| 114 | return { | 114 | return { |
| 115 | engine: this.get<string>("debug.engine"), | 115 | engine: this.get<string>("debug.engine"), |
| 116 | engineSettings: this.get<object>("debug.engineSettings"), | ||
| 117 | openUpDebugPane: this.get<boolean>("debug.openUpDebugPane"), | ||
| 116 | sourceFileMap: sourceFileMap, | 118 | sourceFileMap: sourceFileMap, |
| 117 | }; | 119 | }; |
| 118 | } | 120 | } |