Fixes #2118. Enables HotColor for hotkeys on non-activated menus#2119
Merged
tig merged 2 commits intogui-cs:developfrom Oct 21, 2022
Merged
Fixes #2118. Enables HotColor for hotkeys on non-activated menus#2119tig merged 2 commits intogui-cs:developfrom
tig merged 2 commits intogui-cs:developfrom