Ctrl-Enter and Ctrl-F10 don't work