logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 20-12-2021 17:34:45

gtalbot
Invité

[RÉSOLU] Élargir les barres de défilement dans Firefox 91+

Bonjour chers collègues et amis de Debian-Facile,

En 2018, dans ce forum, j'ai écrit

Élargir les barres de défilement des navigateurs (Firefox, Chromium)

Or, depuis quelques jours, la version de Firefox a bondi
de 78.15 ESR à 91.4.1 ESR. Conséquence: la solution
décrite en 2018 dans le topique 21975 ne fonctionne plus
pour Firefox. Par contre, cette solution (l'édition
du fichier gtk.css) continue de fonctionner pour
plusieurs applications:
Atril version 1.24,
BlueFish version 2.2.12,
Caja version 1.24
Evince version 3.38.2,
FileZilla version 3.52.2,
gEdit version 3.38.1,
Mousepad version 0.5.2,
Nemo version 4.8.6,
Pluma version 1.24.1,
Thunar version 4.16.8
et autres applications qui utilisent les librairies GTK3.

Je ne sais pas comment maintenant élargir les barres de défilement
dans Firefox. Je me tourne donc vers vous à la recherche d'une solution.

Notez que les barres de défilement dans Firefox 91 sont actuellement
de 12px de largeur: c'est vraiment très étroit, très mince.

Gérard

Dernière modification par gtalbot (20-02-2022 19:00:57)

#2 20-12-2021 19:26:38

gtalbot
Invité

Re : [RÉSOLU] Élargir les barres de défilement dans Firefox 91+

Hm...

J'ai peut-être écrit trop tôt pour demander votre aide.

J'ai examiné ma configuration dans about:config,
j'ai redémarré Firefox 91 et tout semble tel que
je souhaite maintenant. Désolé.

Gérard

#3 22-12-2021 23:37:28

totoZero7
Membre
Distrib. : Debian 11.6 Bullseye
Noyau : 5.10.0-21-amd64
(G)UI : Mate 1.24.1
Inscription : 05-07-2020

Re : [RÉSOLU] Élargir les barres de défilement dans Firefox 91+

J'ai essayé ta technique sous Firefox 78 et ça fonctionne bien.
En revanche, quand j'ai effectué la mise à jour de Firefox vers la version 91, là ça ne fonctionne plus (rebootage compris).

As-tu fait une manip spéciale pour débloquer la situation ? car tu as eu un problème au début d'après ce que tu dis.

Note rien à voir: avec les nouveautés, Firefox ajoute des raccourcis sponsorisés, si vous avez activé les raccourcis.
Édition > Paramètres > Accueil - Raccourcis

Dernière modification par totoZero7 (22-12-2021 23:37:44)

Hors ligne

#4 23-12-2021 01:36:59

gtalbot
Invité

Re : [RÉSOLU] Élargir les barres de défilement dans Firefox 91+

totoZero7 a écrit :

J'ai essayé ta technique sous Firefox 78 et ça fonctionne bien.
En revanche, quand j'ai effectué la mise à jour de Firefox vers la version 91, là ça ne fonctionne plus (rebootage compris).

As-tu fait une manip spéciale pour débloquer la situation ?



Bonjour totoZero7,

Non, je n'ai pas fait de manipulation spéciale pour corriger la situation.

Dans about:config ma valeur pour la propriété
layout.css.scrollbar-width.enabled
est à false.

Toutes les propriétés avec la chaîne de caractères "scrollbar"
dans about:config (sauf layout.css.scrollbar-width.enabled) ont
des valeurs initiales, par défaut.

totoZero7 a écrit :

car tu as eu un problème au début d'après ce que tu dis.



Oui, ce problème (barre de défilement très mince: seulement 12 pixels de large)
est apparu à peine quelques minutes après avoir effectué la mise à
jour de Firefox vers la version 91. Je ne sais pas quoi dire pour aider
les gens qui auraient ce problème maintenant... mais j'aimerais bien le savoir...

totoZero7, est-ce que les autres applications, par ex.,
Atril version 1.24,
BlueFish version 2.2.12,
Caja version 1.24
Evince version 3.38.2,
FileZilla version 3.52.2,
gEdit version 3.38.1,
Mousepad version 0.5.2,
Nemo version 4.8.6,
Pluma version 1.24.1,
Thunar version 4.16.8
continuent de générer des barres de
défilement plus large pour toi?

totoZero7, Peux-tu essayer ceci:
Va à la page
https://developer.mozilla.org/fr/docs/W … lbar-width

puis clique sur
"scrollbar-width: auto;"
qui se trouve dans le
haut de la page, dans
la section "CSS Demo: scrollbar-width"

Ou même (encore mieux), aller à

https://interactive-examples.mdn.mozill … width.html

et cliquer sur le bouton
"scrollbar-width: auto;"

Je me souviens que j'ai vu
que la barre de défilement
devenait plus large et
décorée comme je l'ai fait
après avoir cliqué ce bouton.

Gérard

Dernière modification par gtalbot (20-02-2022 19:02:24)

#5 23-12-2021 03:23:37

totoZero7
Membre
Distrib. : Debian 11.6 Bullseye
Noyau : 5.10.0-21-amd64
(G)UI : Mate 1.24.1
Inscription : 05-07-2020

Re : [RÉSOLU] Élargir les barres de défilement dans Firefox 91+

J'ai trouvé pour gtk.css !
Pour pouvoir faire fonctionner la modification de la barre de scroll de Firefox qui est dans le fichier gtk.css, il faut aller dans about:config
widget.non-native-theme.enabled (et mettre la valeur a false)


Sinon pour le "layout.css.scrollbar-width.enabled" dans about:config il est inéxistant sur mon Firefox 91
ça doit être ancien à 91 ?

C'est chouette ça fonctionne donc.
En revanche ce fichier gtk.css modifie aussi d'autres choses comme Pluma en effet.
Ce qui pourrait être encore plus chouette, ce serait de modifier seulement Firefox.
Je cherche comment modifier le fichier userChrome.css de Firefox pour la barre de scroll mais pour l'instant ça ne fonctionne pas.
Pourtant j'arrive à changer la couleur de la barre personnelle.


Pour modifier le css dans Firefox il faut
1. about:config
et chercher la valeur:
toolkit.legacyUserProfileCustomizations.stylesheets      # et la mettre à "true"

2. Aller dans son profil firefox
.mozilla/firefox/xxxxxxx.default-esr
et créer le dossier "chrome"

3. Déposer le fichier "userChrome.css" dans le dossier "chrome"

Exemple pour faire le test, mettre cela dans le fichier:

#PersonalToolbar
{
  background-color: #B0E0E6 !important;   /* j'ai mis un couleur turqoise bien flachie pour le test. */
}


Pour le voir sur la barre personnelle, elle doit être affichée au préalable dans Affichage > Barre d'outils > Barre personnelle > Toujours afficher

Hors ligne

#6 23-12-2021 13:28:17

gtalbot
Invité

Re : [RÉSOLU] Élargir les barres de défilement dans Firefox 91+

totoZero7 a écrit :

J'ai trouvé pour gtk.css !
Pour pouvoir faire fonctionner la modification de la barre de scroll de Firefox qui est dans le fichier gtk.css, il faut aller dans about:config
widget.non-native-theme.enabled (et mettre la valeur a false)



totoZero7, je confirme ta découverte. Bravo et merci!
J'ai mis à jour la
Discussion: Élargir les barres de défilement des navigateurs (Firefox, Chromium)
et le
Tutoriel: Comment élargir les barres de défilement de Firefox

J'y ai indiqué que Evince version 3.38.2 affiche
maintenant les barres de défilement personnalisées, une
chose qui n'existait pas avec Debian 9 et Debian 10.

Gérard

Dernière modification par gtalbot (23-12-2021 14:16:28)

#7 27-02-2022 05:43:44

gtalbot
Invité

Re : [RÉSOLU] Élargir les barres de défilement dans Firefox 91+

totoZero7 a écrit :


Ce qui pourrait être encore plus chouette, ce serait de modifier seulement Firefox.



C'est possible.

Dans about:config, il faut d'abord 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

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), alors il faut inverser la valeur de

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

pour la mettre à false.

Par contre, on ne pourra pas (je ne vois pas comment)
configurer ni l'épaisseur des bordures, ni la couleur des
bordures et le changement de couleur lors du survol de
la souris.

Pour ce qui est des couleurs statiques de la barre de
défilement et du bouton, Firefox supporte

scrollbar-color

Gérard

Dernière modification par gtalbot (05-03-2022 22:20:07)

Pied de page des forums