Juno shortcut to hide REPL

There’s no default key binding for closing the bottom dock. You can easily set up your own, however:

3 Likes