menu: support borders

This commit adds following theme configurations:

  menu.border.width: 1
  menu.border.color: #aaaaaa
This commit is contained in:
tokyo4j 2024-11-24 14:40:40 +09:00 committed by Johan Malm
parent fb6bf3fdde
commit da418f9720
5 changed files with 67 additions and 19 deletions

View file

@ -166,6 +166,12 @@ all are supported.
A fixed width can be achieved by setting .min and .max to the same
value.
*menu.border.width*
Border width of menus in pixels. Inherits *border.width* if not set.
*menu.border.color*
Border color of menus. Inherits *window.active.border.color* if not set.
*menu.items.padding.x*
Horizontal padding of menu text entries in pixels.
Default is 7.