Respect any other way a user can hide or show a panel
Respect any other way a user can hide or show a panel

- If the user e.g. opens the search panel or console, don't fight with
that decision.

- If the user opens the commit panel via mouse click record the fact
and update the panel.

divmain/GitSavvy,divmain/GitSavvy,divmain/GitSavvy