git-gui: Exit shortcut in MacOSX repaired