Polish panel experience (#2523)

In this pull request we improved key bindings (as described below) and
added tooltips.

Add these release notes to the panels release notes:

- The left, right and bottom dock can be toggled and focused at the same
time respectively via `cmd-b`, `cmd-r` and `cmd-j`. Holding `shift` will
toggle them without changing the focus.
8832248bb9Antonio Scandurra committed on 5/24/2023, 2:23:24 PM· committed by GitHubparents7534c4ef67a228
8 files changedLine totals unavailable