Re: Shy scroll bars

From: George Mitchell <>
Date: Tue, 17 May 2022 22:22:37 UTC
On 5/17/22 17:51, wrote:
> One option that may not last forever, is using firefox-lts.
> -Henrich
> [...]

Indeed, and it may come to that sooner or later.  Fortunately, Guido
Falsi came up with a working fix earlier, but thanks anyway!
-- George