For years, I've used the tab key on my keyboard to switch between the textarea and the edit summary input on MediaWiki wikis. Then I usually press the tab key a few more times to select the "save page" or "show preview" buttons.
When CodeEditor is active, the tab key is hijacked, inserting four spaces into the textarea when the tab key is pressed. This is a legitimate hijacking, I think, but it disrupts the (somewhat expected) tab key behavior in a slightly infuriating way.
There's no way to escape the textarea short of using the mouse. This sucks.
I'm not sure how to best handle this. Maybe a double-tap of the tab key could be used? Maybe the escape key could be used? Shift-tab (which may already be taken)?
Outcome criteria
On a page where CodeEditor is active and thus tab produces indentation instead of navigating between form elements, there should be at least one discoverable keyboard-assisted way of moving the focus from the textarea to the edit summary and HTML form buttons.