revised HotKeyManager usage