You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 22, 2023. It is now read-only.
"description": "Change the UI font size. Needs to be between 8 and 20. In Auto mode, the Font Size will automatically change based on the window size.",
"type": [
"integer",
"string"
],
"minimum": 8,
"maximum": 20,
"default": "Auto"
},
"layoutMode": {
"title": "Layout Mode",
"description": "In Auto mode, the UI will automatically adapt based on the window size.",
"type": "string",
"default": "Auto",
"enum": [
"Compact",
"Auto",
"Spacious"
]
},
"tabSizing": {
"title": "Tab Sizing",
"description": "In minimum width mode the tabs will be as small as possible but in even width mode, all tabs will be the same size. In auto mode the tabs switch based on the window size.",