fix some bugs relating to tab behavior and border rendering
This commit is contained in:
parent
f056727621
commit
206a5fb19e
12 changed files with 240 additions and 172 deletions
|
|
@ -2137,6 +2137,10 @@
|
|||
"description": "The color of the borders between windows.",
|
||||
"$ref": "#/$defs/Color"
|
||||
},
|
||||
"active-border-color": {
|
||||
"description": "The color of the borders around active windows.",
|
||||
"$ref": "#/$defs/Color"
|
||||
},
|
||||
"captured-focused-title-bg-color": {
|
||||
"description": "The background color of focused titles that are being recorded.",
|
||||
"$ref": "#/$defs/Color"
|
||||
|
|
@ -2212,6 +2216,11 @@
|
|||
"bar-font": {
|
||||
"type": "string",
|
||||
"description": "The name of the font to use in the bar. Defaults to `font` if not set."
|
||||
},
|
||||
"corner-radius": {
|
||||
"type": "number",
|
||||
"description": "The corner radius for window borders in logical pixels. Defaults to 0 (square corners).",
|
||||
"minimum": 0.0
|
||||
}
|
||||
},
|
||||
"required": []
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue