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