On Ctrl-Enter, EVAL selection