Fixed menu display on firefox etc.
Fix for Firefox arrow key handling
Workaround for Control-Enter handling on Windows Chrome and IE10
Fixes to allow terminal to work on iPad/Android