Cursor should snap to nearest sash for easy resize

[K-C-DaCosta]

In i3 you can hold the mod1 key then right click to snap the cursor to the closest border/sash so that you don't have hunt for border pixels to resize windows. I really think something like this should exist in vscode as well. Maybe ctrl + right-click and then the cursor will 'snap' to the nearest sash?

[joaomoreno]

To address this issue, we have a workbench.sash.size setting which makes the grabbable area larger. Can you try this?

[K-C-DaCosta]

To address this issue, we have a workbench.sash.size setting which makes the grabbable area larger. Can you try this?

Okay yeah, thats alot better. It would still be neat if the cursor could to snap to the nearest sash. I don't know if its possible but I'll probably look into writing a platform-specific plugin for this in the future as a side project when I got time.

[joaomoreno]

FYI, doing some playing around:

Screen.Recording.2023-07-12.at.20.55.11.mov

[ChristopherHaws]

FYI, I've been doing some experimentation:

[Screen.Recording.2023-07-12.at.20.55.11.mov]

Also, using workbench.sash.size with larger sizes such as 16 or 20 (the max) can make it nearly impossible to grab scrollbars because they get obstructed by the sash. In the editor, this isn't a huge issue thanks to the editor.scrollbar.verticalScrollbarSize and editor.minimap settings, which I utilize both of.

Not being able to grab the scrollbar in other screens such as the file explorer, extensions list, etc. is really annoying. Sadly, I couldn't find a way to adjust the vertical scrollbar size globally within VS Code, so I ended up increasing workbench.sash.hoverDelay to nearly a second. I then have to be quick about grabbing the scrollbar when I need it. Most of the time, I use Alt+Mouse Scroll to fast-scroll, but sometimes I want more precise control.

I absolutely love that these accessibility settings exist, but I think they could use some refinement to work together more seamlessly. The sash size setting is something I've wished Windows would add for a long time! Trying to grab the edge of a window to resize it can be a frustrating experience, especially on a high DPI monitor!