Is there a tool that will let me do the following sequence?
- Type a keyboard shortcut
- Type in the name of an application currently open on some desktop
- Hit Enter to switch to that desktop, and bring that application into focus instantly
(The Chromium plugin Vimium provides an analogous feature for browser tabs: pressing Shift-T in that environment to list all tabs, type in some words to filter by title, and hit enter to bring up the selected tab.)