Il comando per la modifica della barra laterale, come da guida, è questo
Quote:
Modificare l'aspetto e le dimensioni delle scrollbars:
Il parametro widget.non-native-theme.scrollbar.style ha le seguenti opzioni:
‘0’: Default Platform scrollbar style
‘1’: macOs scrollbars
‘2’: GTK Scrollbars
‘3’: Android Scrollbars
‘4’: Windows 10 scrollbars
‘5’: Windows 11 scrollbars
Le opzioni agiscono immediatamente sull'aspetto delle scrollbars.
|
Spero sia sempre disponibilità in FireFox 100 questa possibilità di modifica. Io sto ancora con la versione precedente sino a quando non mi arriverà la notifica.