On Mon, Dec 22, 2025 at 10:17:47 -0600, Richard Owlett wrote: > I have problems with its defaults for the vertical scroll-bar.
The setting that I changed is
widget.gtk.overlay-scrollbars.enabled
The default is true, and I changed it to false. That seems to be good
enough for me.
