Yes, we've wanted a hotkey editor since day one! The text file was intended as a stopgap solution, unfortunately a hotkey editor is constantly pushed to later release since it has a workaround and we'd like to add many things that aren't otherwise possible. I realize we don't have an issue to track this, so I've created one:
#206 Hotkey editor
You can click the issue number in the top left, then Subscribe
on the right to receive email notifications.