2014-07-07 : add some hotkeys