Fixing a problem with Gundo
Removed bubble and enabled arrow keys