[thom]

I don’t understand this at all. No matter what happens, my hands are mostly on the keyboard. Moving to the mouse is wasteful, and just the act of aiming for it involves more recall than remembering any common key binding. Plus the mouse can only point at or navigate to things on or adjacent to the screen. If I want to navigate to a symbol not on screen or run an arbitrary command then resume typing, I don’t see how the mouse helps me go faster. What workflow are you picturing here that a scientific standpoint backs up?