theme: add option osd.window-switcher.item.active.border.width

...and change default values for the variables below to keep the
window-switcher look the same as it was at the last release.

osd.window-switcher.padding = 4
osd.window-switcher.item.padding.y = 1
osd.window-switcher.item.active.border.width = 2
This commit is contained in:
Consolatis 2023-07-01 14:56:13 +02:00 committed by Johan Malm
parent 55bf79c3fe
commit 660127acb0
5 changed files with 24 additions and 19 deletions

View file

@ -151,8 +151,7 @@ elements are not listed here, but are supported.
*osd.window-switcher.padding*
Padding of window switcher in pixels. This is the space between the
window-switcher border and its items. Inherits *osd.border.width* if
not set.
window-switcher border and its items. Default is 4.
*osd.window-switcher.item.padding.x*
Horizontal padding of window switcher entries in pixels.
@ -160,7 +159,11 @@ elements are not listed here, but are supported.
*osd.window-switcher.item.padding.y*
Vertical padding of window switcher entries in pixels.
Default is 6.
Default is 1.
*osd.window-switcher.item.active.border.width*
Border width of the selection box in the window switcher in pixels.
Default is 2.
*border.color*
Set all border colors. This is obsolete, but supported for backward

View file

@ -54,6 +54,7 @@ osd.border.width: 1
osd.label.text.color: #000000
osd.window-switcher.width: 600
osd.window-switcher.padding: 1
osd.window-switcher.padding: 4
osd.window-switcher.item.padding.x: 10
osd.window-switcher.item.padding.y: 6
osd.window-switcher.item.padding.y: 1
osd.window-switcher.item.active.border.width: 2