Hotkeys: use normal thread synchronization APIs