You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am not sure what would make this better since you still need that drag cursor. If the drag cursor response area shrinks, it will be difficult to drag.
The problem with the invisible 4px area of the terminal/output (orthogonal-start, which is used to trigger its drag) is that its z-index is keeping it atop of the horizontal scrollbar, thus effectively taking the 4px from it.
As a best solution/compromise I see that the orthogonal-start is moved to be ontop of bottom status bar (i.e. items-container), like this:
That way it won't obscure the bottom scrollbar and its drag-point will allign with the top of the status bar: https://imgur.com/L5wIn3T
What's best, the bottom (plugin) controls are on top of the orthogonal-start drag area, so they're also not obscured by it:
Version: 1.44.0 (system setup)
Commit: 2aae1f2
Date: 2020-04-07T23:31:18.860Z
Electron: 7.1.11
Chrome: 78.0.3904.130
Node.js: 12.8.1
V8: 7.8.279.23-electron.0
OS: Windows_NT x64 10.0.18363
Steps to Reproduce:
workbench.editor.titleScrollbarSizing
and make the bottom scroll bar appearDoes this issue occur when all extensions are disabled?: Yes
When going accross it vertically (top to bottom) the cursor switches to "resize" (for collapsed terminal bar):
https://imgur.com/qFRjuCN
Same happens also when the terminal is open.
Result: "large" title scrollbar on bottom of the screen is selectable only in top 60% of its height --> effectively nagating its purpose.
The text was updated successfully, but these errors were encountered: