Karl Tauber f1792e46c6 Menus: ...

- support different selection colors for top-level JMenus
- fixed styling of underline selection properties for top-level JMenus

2022-05-15 16:39:11 +02:00

..

desktop-properties

FlatDesktopPropertiesDump tool added

2020-09-18 14:24:30 +02:00

uidefaults

Menus:

2022-05-15 16:39:11 +02:00