theme: add window-switcher width/padding

...and calculate item-height based on font-height

Add theme options
  - osd.window-switcher.width
  - osd.window-switcher.item.padding.x
  - osd.window-switcher.item.padding.y

Issue #879
This commit is contained in:
Johan Malm 2023-04-24 21:31:28 +01:00 committed by Johan Malm
parent 11ff820105
commit df53c28a0f
5 changed files with 52 additions and 22 deletions

View file

@ -146,6 +146,17 @@ elements are not listed here, but are supported.
*osd.label.text.color*
Text color of on-screen-display
*osd.window-switcher.width*
Width of window switcher in pixels. Default is 600.
*osd.window-switcher.item.padding.x*
Horizontal padding of window switcher entries in pixels.
Default is 10.
*osd.window-switcher.item.padding.y*
Vertical padding of window switcher entries in pixels.
Default is 6.
*border.color*
Set all border colors. This is obsolete, but supported for backward
compatibility as some themes still contain it.

View file

@ -52,3 +52,7 @@ osd.bg.color: #dddda6
osd.border.color: #000000
osd.border.width: 1
osd.label.text.color: #000000
osd.window-switcher.width: 600
osd.window-switcher.item.padding.x: 10
osd.window-switcher.item.padding.y: 6