theme: add bar-position setting
This commit is contained in:
parent
3ea687a5c8
commit
2500c05f70
15 changed files with 178 additions and 32 deletions
|
|
@ -579,6 +579,14 @@
|
|||
}
|
||||
]
|
||||
},
|
||||
"BarPosition": {
|
||||
"type": "string",
|
||||
"description": "The position of the bar.",
|
||||
"enum": [
|
||||
"top",
|
||||
"bottom"
|
||||
]
|
||||
},
|
||||
"BlendSpace": {
|
||||
"type": "string",
|
||||
"description": "A color blend space.\n",
|
||||
|
|
@ -2000,6 +2008,10 @@
|
|||
"description": "The height of the bar. Defaults to the title-height if not set.",
|
||||
"minimum": 0.0
|
||||
},
|
||||
"bar-position": {
|
||||
"description": "The position of the bar. Defaults to `top` if not set.",
|
||||
"$ref": "#/$defs/BarPosition"
|
||||
},
|
||||
"font": {
|
||||
"type": "string",
|
||||
"description": "The name of the font to use."
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue