added the ubiquitous Ctrl-Arrow keybindings