Thanks. You can actually do this without using your mouse.
The Ctrl+1, Ctrl+2, Ctrl+3, ... hotkeys swictch focus to the
various tools.
1. commit
2. status
3. diff
...
You can also show/hide them using Shift+Ctrl+1, ...
The '?' menu does mention these, but it uses a general "Ctrl + #"
string to denote that "#" should be replaced by a number.
Perhaps we should change it to "Ctrl + <number>", "Ctrl + <num>",
or "Ctrl + <#>"?
There are some semi-recent commits that improved some keyboard
interactions, and I'm always in favor of making things more
keyboard-friendly.
cheers,
--
David