Fixes #42 and provides the infrastructure for customizable hotkeys (#47).