I could not find a button to maximize the VSCode REPL window. So I used to drag the upper border of that window up and down when I needed more space for the REPL or more space for the editor window. This was a bit hard to do because the border between these windows was very thin. Just a small movement of the mouse pointer would be enough to “lose” the window border. Doing this has become much harder: the REPL window border has disappeared overnight. I tried a variety of themes and the border is still invisible. Questions:
- Is there a way, with the mouse or keyboard shortcuts, to maximize the REPL window?
- Is there a way to make the REPL window border thicker and visible?
- Is there a way to position the REPL window besides (instead of below) the editor window? (I have two monitors, so that would be quite convenient)
Thanks for the help.