A window switcher for users who keep a lot of windows open on multiple workspaces