The size of the vertical scroll bar in the integrated terminal does not match the size of the editor scroll bars about vscode HOT 7 CLOSED

There's less space in the terminal, so a thinner scrollbar makes sense here IMO, @Tyriar reopen if you disagree

from vscode.

Something changed, it never used to be like this:

Maybe an Electron update changed what scroll bar styling is available?

from vscode.

May version is the same:

from vscode.

I think it's related to an Electron/Chrome update breaking how we styled scroll bars.

This doesn't seem easy to fix. The real fix here is to add API to xterm.js to allow the use of vscode's scrollable element.

from vscode.

There's less space in the terminal, so a thinner scrollbar makes sense here IMO

This is a significant accessibility problem. Not everybody can use a scroll wheel and grabbing a thin scroll bar can be difficult.
Thin scroll bars that can't be configured to be wider should not be acceptable for any project.

from vscode.

I disagree that it's significant, just wait until you try use one of our sashes to resize panes if you think this is hard to hit which I think has a 3px target:

Especially since there are alternate options (wheel, keybindings). Also the mouse target actually seems to be wider than the slider's size.

Regardless, here's scrollbar-width: thin with decorations:

And scrollbar-width: auto:

It's a shame this happened at all as the decorations were perfectly sized for the old scroll bar. auto does look better now and closer to the editor so we should go with that imo. Hopefully there aren't any side effects to making this change.

from vscode.

just wait until you try use one of our sashes to resize panes if you think this is hard to hit

Resizing panes is something that I do maybe once a month. But this is why I have a voice command for resizing windows to a specific size, since I can't avoid that as well.

It's understandable that not everything can be made accessible. But scrollbars are something where people have caused unnecessary frustration for many years now.

Hopefully there aren't any side effects to making this change.

Thanks, looking forward to this fix.

from vscode.