diff options
author | Stefan Haller <stefan@haller-berlin.de> | 2024-05-31 21:37:10 +0200 |
---|---|---|
committer | Stefan Haller <stefan@haller-berlin.de> | 2024-06-01 08:21:23 +0200 |
commit | 1269938ee6090dbcb9d4fa441fa04ce8217f96d0 (patch) | |
tree | 39157a6d2202ac1f556583b61e58966c6652dbd7 /schema | |
parent | 557dfc5a6d363d2882aa0adc1cd53ffe6f4a87d7 (diff) |
Add user config `expandedSidePanelWeight`
Diffstat (limited to 'schema')
-rw-r--r-- | schema/config.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/schema/config.json b/schema/config.json index a5c704db0..f5f7bab86 100644 --- a/schema/config.json +++ b/schema/config.json @@ -76,6 +76,11 @@ "description": "If true, increase the height of the focused side window; creating an accordion effect.", "default": false }, + "expandedSidePanelWeight": { + "type": "integer", + "description": "The weight of the expanded side panel, relative to the other panels. 2 means\ntwice as tall as the other panels. Only relevant if `expandFocusedSidePanel` is true.", + "default": 2 + }, "mainPanelSplitMode": { "type": "string", "enum": [ |