switch from ctrl+arrowkey to alt/option+arrowkey to switch between servers