Add ctrl-{1,2,3}