skyjake/lagrange Issue #699: Increase the scrollbar slider size on mouse hover

Repo Home
Issues

2024-12-11 02:43:46 hardBSDk

Like web browsers.

Comments (1)

2024-12-11 04:58:20 skyjake

The scroll bars are already wider than the visual indication for easier grabbing, but I suppose this could be made more prominent.