News for hackers. Stuff that matters.

A comment on The Public Interest Internet, by Robin Berjon. Parent comment

Re:The Public Interest Internet, by Robin Berjon by tutipop on Tuesday June 18, 2024 @11:05AM (#40718641)
In about:config

  widget.non-native-theme.scrollbar.size.override 20 
  widget.non-native-theme.scrollbar.style  4
  widget.gtk.overlay-scrollbars.enabled   false
I even use a custom gtk.css to improve things further:

  scrollbar, scrollbar button, scrollbar slider {
    -GtkScrollbar-has-backward-stepper: true;
    -GtkScrollbar-has-secondary-forward-stepper: true;
    -GtkScrollbar-has-forward-stepper: true;
    min-width: 20px;
    min-height: 20px;
    border-radius: 0;
  }
It's a shame we have to resort to this to get decent scrollbar behavior.
[ Parent | on HN ]
Re:The Public Interest Internet, by Robin Berjon by kwhitefoot on Tuesday June 18, 2024 @05:19PM (#40722277)
Thank you! How the hell is anyone supposed to discover things like this?
[ Parent | on HN ]
Re:The Public Interest Internet, by Robin Berjon by zzo38computer on Tuesday June 18, 2024 @05:21PM (#40722283)
Software should include documentation, which should mention all of the commands used there, so that you can know how to do it. Unfortunately, many of the settings are not very well documented, and the document is hard to find.
[ Parent | on HN ]
Re:The Public Interest Internet, by Robin Berjon by Vinnl on Tuesday June 18, 2024 @05:50PM (#40722483)
Good luck designing a UI that includes settings for scrollbar width and other settings of that granularity in which any of those settings are discoverable...
[ Parent | on HN ]
Re:The Public Interest Internet, by Robin Berjon by WarOnPrivacy on Tuesday June 18, 2024 @06:52PM (#40722934)
> Good luck designing a UI [with] settings for scrollbar width and [similar] in which any of those settings are discoverable...

Like Windows XP?

ref: https://www.simplehelp.net/2009/08/04/how-to-enlarge-or-shri...

[ Parent | on HN ]
Re:The Public Interest Internet, by Robin Berjon by Vinnl on Wednesday June 19, 2024 @08:57AM (#40727851)
Exactly. Admittedly I was a lot younger then, but I had a hard time finding even relatively simple options in the nested menus and tabs of Windows XP.
[ Parent | on HN ]