INFOTHEMA

Documentation => Documentation technique + interviews des acteurs du Libre => Discussion démarrée par: E18i3 le août 04, 2024, 06:48:04 pm

Titre: Modifier la barre de défilement seulement pour Firefox
Posté par: E18i3 le août 04, 2024, 06:48:04 pm
Bonjour à toutes et tous,

Un autre bidouillage suite à mon topic précédent (https://www.infothema.fr/forum/index.php/topic,4843.0.html), comme le stipule l' intitulé, je vous propose de modifier la barre de défilement seulement pour Firefox.
Do it yourself en faisant :

about:config

puis mettre la valeur de

widget.non-native-theme.enabled

à true (valeur par défaut)

puis modifier la valeur de

widget.non-native-theme.scrollbar.size

de 12 à disons, 20 (par exemple)

puis modifier la valeur de

widget.non-native-theme.gtk.scrollbar.thumb-size

de 0.75 à 1.

Si on veut avoir des boutons de défilement rectangulaires
(sans coin arrondi), il vous faudra inverser la valeur de

widget.non-native-theme.gtk.scrollbar.round-thumb


pour la mettre à false.

Voili voilou et normal' ment ça l' fait ...
Pour la suite comme d' hab,
                                          @ vous de voir ...

Source : https://debian-facile.org/ (https://debian-facile.org/)