🐞 Terminal drawer can hide editor
Description
As shown in the following videos, the terminal drawer can be moved upwards to hide the editor area
https://user-images.githubusercontent.com/128280019/230111287-31eeae3c-de66-4d10-b756-0b67ef78aaef.mov
Here is another way to reproduce the issue (with the terminal open):
https://user-images.githubusercontent.com/128280019/230113461-88738733-0d28-481b-bcae-65432b69ec77.mov
To Reproduce
- Open a workspace
- put your mouse on the bottom pixel of the terminal drawer
- hold click and move your cursor up
to reproduce the second issue when the terminal is open
- Open a workspace
- open the terminal
- go to first pixel of the top bar and move it up
Expected Behavior
The terminal drawer should not be able to conceal the editor
Version Information
CodeEdit: [e.g. 0.0.3-alpha.32] macOS: [e.g. 13.2.1] Xcode: [e.g. 14.2]
I'm not able to reproduce this problem
I'm not able to reproduce this problem
Hmm. That's weird @matthijseikelenboom, my repro steps are probably not as reliable as the video, maybe refer to that instead?
I'm unable to reproduce this issue as well. I tried with both No Editor and a file open, but the Terminal stops halfway up without affecting the editor at all. Were you running anything else that could have interfered?
That's very weird my terminal is ZSH here's another video reproducing the problem maybe you can repro it now?
https://user-images.githubusercontent.com/128280019/234081959-ccee8715-2c32-497c-8503-c208ffa17dc8.mov
After seeing that latest video I see the behavior, to reproduce you must drag the bar that is directly above the terminal, dragging inside the area that says terminal, debugger, output or the top bar above this area will not produce the behavior.
@bombardier200 You are correct - I am now able to reproduce this. I can only reproduce it when clicking on that exact, small area.
Seems that this problem has been fixed!