Why did the REPL window border disappear?

Tooling VS Code
1

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:

  1. Is there a way, with the mouse or keyboard shortcuts, to maximize the REPL window?
  2. Is there a way to make the REPL window border thicker and visible?
  3. 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.

1 Like
2

Can’t you use this button instead?
image

3

Thanks. That worked. In my system it is in the Julia Documentation window, not in the REPL window. I also found out that the border becomes visible under the High Contrast theme, but not in any others I tried.