Now it is possible to switch themes using arrow keys of the keyboard