Add theme option to configure boxes from workspace OSD

This allows to configure width and height of "boxes" displayed in the
workspace OSD. A setting of `0` disables the boxes.
This commit is contained in:
kyak 2023-12-11 12:41:33 +03:00 committed by GitHub
parent 45e0dad3f1
commit 268191fce8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 51 additions and 14 deletions

View file

@ -174,6 +174,12 @@ elements are not listed here, but are supported.
Border width of the selection box in the window switcher in pixels.
Default is 2.
*osd.workspace-switcher.boxes.width*
Width of boxes in workspace switcher in pixels. Setting to 0 disables boxes. Default is 20.
*osd.workspace-switcher.boxes.height*
Height of boxes in workspace switcher in pixels. Setting to 0 disables boxes. Default is 20.
*border.color*
Set all border colors. This is obsolete, but supported for backward
compatibility as some themes still contain it.