[kwood]

Good point! I already have double pressing the terminal toggle in my muscle memory, using focus might be worth changing that habit.

To "get out" of the terminal, cmd+1 sets focus on the editor again (to be precise: focus on the first editor group if there is a split view).

[tsaprailis]

Yes, thanks very much! I actually had those too, as a backup but I think different combinations for opening and closing (or in this case toggling into terminal, and back into the editor) are more cumbersome than simply opening/closing.

[Already__Taken]

Ooh good spot. Thank you.