theme: allow to set window button size

This commit introduces new option "window.button.width". Despite the name
it currently affects both width and height.
This commit is contained in:
Consus 2024-07-06 12:05:15 +03:00 committed by Johan Malm
parent 46ec513630
commit edf30461c0
14 changed files with 59 additions and 33 deletions

View file

@ -29,6 +29,9 @@ window.active.label.text.color: #000000
window.inactive.label.text.color: #000000
window.label.text.justify: center
# window button width
window.button.width: 26
# window buttons
window.active.button.unpressed.image.color: #000000
window.inactive.button.unpressed.image.color: #000000