theme: add option osd.window-switcher.padding

Fixes: issue #969
This commit is contained in:
Johan Malm 2023-06-29 21:29:43 +01:00 committed by Johan Malm
parent fe8cdd7f8b
commit 55bf79c3fe
5 changed files with 24 additions and 6 deletions

View file

@ -141,7 +141,7 @@ elements are not listed here, but are supported.
Border color of on-screen-display
*osd.border.width*
Border width of on-screen-display
Border width of on-screen-display. Inherits *border.width* if not set.
*osd.label.text.color*
Text color of on-screen-display
@ -149,6 +149,11 @@ elements are not listed here, but are supported.
*osd.window-switcher.width*
Width of window switcher in pixels. Default is 600.
*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.
*osd.window-switcher.item.padding.x*
Horizontal padding of window switcher entries in pixels.
Default is 10.

View file

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