On 5/26/23, zithro wrote:
> On 05 May 2023 18:07, Lee wrote:
>> On 5/4/23, zithro wrote:
>> I think you also need
>> user_pref("widget.gtk.overlay-scrollbars.enabled", false);
>>
>> and this is also nice
>> user_pref("widget.non-native-theme.scrollbar.size.override", 20);
>
> I tried them all, but now there's a simple GUI option (see my other post
> in this thread) ! \o/yes, but Settings -> General -> Browsing -> Always show scrollbars shows a too-thin scrollbar with no up or down arrows at either end. >> From there I can select the Chicago95 theme as any user and if there's >> anything I don't like I can, once I figure out wtf needs to be changed >> (which can be a non-trivial task for me), make the change. > > That was my point, wtf needs to be changed ?! ^^ That's why I picked the Chicago95 theme .. it was _real_ close to what I wanted. Then again, I wanted different colors & I couldn't figure out how to get everything changed the way I wanted so I went back to the default :( The changes I've got now are: lee@spot ~/Templates/Chicago95-2.0.1/Theme $ diff -u5 -r Chicago95 /usr/share/themes/Chicago95 Only in Chicago95: cinnamon Only in Chicago95: gnome-shell diff -u5 -r Chicago95/gtk-3.0/settings.ini /usr/share/themes/Chicago95/gtk-3.0/settings.ini --- Chicago95/gtk-3.0/settings.ini 2020-06-29 10:33:20.000000000 -0400 +++ /usr/share/themes/Chicago95/gtk-3.0/settings.ini 2023-05-27 17:10:25.257049595 -0400 @@ -1,4 +1,14 @@ [Settings] gtk-auto-mnemonics = 0 gtk-visible-focus = automatic gtk-menu-images = true + +gtk-menu-popup-delay=0 +# LR: delay between pointing the mouse at a menu and that menu opening (in milliseconds) + +gtk-primary-button-warps-slider = 0 +# LR: warp slider to click position (true) or move scrollbar by one page (false) + +gtk-overlay-scrolling = 0 +# LR: 0: always show scrollbars 1: hide the scrollbar until a mouseover + Only in Chicago95: gtk-3.22 Only in Chicago95: gtk-3.24 Only in Chicago95: index.theme Only in Chicago95: metacity-1 Only in Chicago95: misc Only in Chicago95: xfwm4_hidpi > I checked some themes in /usr/share/themes and ... well, I'll use my > theme as it is ! I hope you've got a better set of themes than I have - I tried all of them and didn't like any :( Regards, Lee
