Added <f5> to toggle Gundo