Changes in Nov 17th 2013 Version

Added editor for HotKeys:

HotKey editor menu item

HotKey editor dialog