Command keys to switch between panels?

Can I just mention this before reviewing 0.9.36?

General editor use: Would it be convenient to have keyboard shortcuts to switch between editor panels?

yes, I think it would be! :smiley:

(will add as a request for improvement…)