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: [image] Closing the REPL pane or Git/GitHub pane Juno Got here through Google with no answer to be found. After looking around some more and getting a better understandin…

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 b…

@js135005 thanks for the tip but I was looking for a way to avoid using the mouse/trackpad.

Juno shortcut to hide REPL

New to Julia

Andre_Mello April 9, 2020, 4:58pm 2

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

Topic		Replies	Views
Closing the REPL pane or Git/GitHub pane Juno	3	942	April 9, 2020
WIN10, HOW TO switch (keyshort) from editor to REPL? Juno	9	2720	October 20, 2019
Juno REPL layout change Juno	12	2931	February 11, 2019
Move REPL pane to the right Juno	2	1120	October 3, 2020
Keymap.cson Atom: jumping between panes New to Julia juno	2	939	October 30, 2017

Juno shortcut to hide REPL

Related topics