A keyboard-based window switcher