Re: Shy scroll bars

From: George Mitchell <>
Date: Wed, 18 May 2022 18:29:50 UTC
On 5/18/22 02:52, Guido Falsi wrote:
> [...]
> The problem with my fix is that the knob I identified could one day 
> disappear. But you should be ok for the near future at least :)

That'll give me an excuse to write about shy configuration knobs!
-- George