While editing I like to expand the editor area used to display code… Is there a way to quickly hide the REPL panel from the keyboard?
There’s no default key binding for closing the bottom dock. You can easily set up your own, however:
An easier way is to adjust the size of the top and bottom panels.
I usually set the size of the top panel to be only a line or two. I can then expand the top panel to full size at will by the dynamic sizing arrow at the bottom of the top panel. In a similar manner I use the dynamic arrow from the bottom to see an almost fully expanded REPL window when actually running code.
@js135005 thanks for the tip but I was looking for a way to avoid using the mouse/trackpad.