Menus: support rounded selection

This commit is contained in:
Karl Tauber
2022-05-15 14:24:38 +02:00
parent 5f961618bf
commit 84e9c36280
11 changed files with 138 additions and 20 deletions

View File

@@ -241,6 +241,9 @@ Menu.icon.disabledArrowColor = #ABABAB
#---- MenuBar ----
MenuBar.selectionInsets = 1,3,1,3
MenuBar.selectionArc = 8
MenuBar.borderColor = #44f
MenuBar.hoverBackground = #fdd
@@ -248,6 +251,13 @@ MenuBar.underlineSelectionBackground = #0f0
MenuBar.underlineSelectionColor = #ff0
MenuBar.underlineSelectionHeight = 5
#---- MenuItem ----
MenuItem.selectionInsets = 0,3,0,3
MenuItem.selectionArc = 8
#---- OptionPane ----
OptionPane.background = #fdd