Edit: ok, so this is just a window switcher. Which I will install because I don't like the default one. Old reply, which assumed this was a keyboard shortcut a

Edit: ok, so this is just a window switcher. Which I will install because I don't like the default one. Old reply, which assumed this was a keyboard shortcut app: Does it consistently work across all apps? Because I've gone the way of manually configuring keyboard shortcuts, but it seems like I have to do it in several places, and some apps still misbehave (particularly navigating through text with CTRL, shift, pgup, pgdown, home, end)