That's not an answer to my question. Let me state my point more bluntly. I've tried switching applications with mouse and with keyboard, and it's faster with t

That's not an answer to my question. Let me state my point more bluntly. I've tried switching applications with mouse and with keyboard, and it's faster with the keyboard.