Hi,
I prefer the scrollbars as they were in 2018, so for my Ubuntu 20.04 with gnome 3.36 I made changes (see below).
Now 22.04 with Gnome 42 is coming, so I wanted to ask if there's better way to do it with current Plano source?
Also, currently my changes don't tell Gnome that scrollbars are bigger, so the strip for them is still small, so the UI elements may take some space for themselves under scrollbars.
Is there some way to change that?
commit b0168e823a575d825c25e1e6358e5d183ed941ee
Date: Fri Aug 14 13:28:59 2020 +0200
Hi, I prefer the scrollbars as they were in 2018, so for my Ubuntu 20.04 with gnome 3.36 I made changes (see below). Now 22.04 with Gnome 42 is coming, so I wanted to ask if there's better way to do it with current Plano source?
Also, currently my changes don't tell Gnome that scrollbars are bigger, so the strip for them is still small, so the UI elements may take some space for themselves under scrollbars. Is there some way to change that?
commit b0168e823a575d825c25e1e6358e5d183ed941ee Date: Fri Aug 14 13:28:59 2020 +0200