islet_shell: switch to numerical selection menu