replaced hotkey handling with w32hotkeys module