Following configurations are supported via settings.json and affect the window editor:
| Key | Default Value | Possible Values | Description |
|---|
Following configurations are supported via settings.json and can be changed for each workspace:
| Key | Default Value | Possible Values | Description |
|---|