Pablo Vazquez fd1a5b52c1 Theme: do not mark pulldown menus as active on hover ...

Match the color of regular menu items on hover.

Do versioning comes right after since it's needed for another bug.

2023-10-31 13:04:59 +01:00

..

userdef_default_theme.c

Theme: do not mark pulldown menus as active on hover

2023-10-31 13:04:59 +01:00

userdef_default.c

UI: Allow Integer Thumbnail Size Range

2023-09-13 19:56:53 +02:00