Version
4.0-6782
Branch
stable
Date
4 years, 10 months ago
Windows x64 Android Mac OS X
Commit
4d5f693d88e9be2e16fa37a55041b50068397d9a
Change author
Jules Blok
Change description
Merge pull request #2777 from Armada651/hotkey-down

HotkeyManager: Activate hotkey when key is pressed.