Modify src/hotkey.js : bind mousedown to individual IDs instead of window so dragging scroll bar won't dismiss them