Très petite barre de défilement dans GNOME Shell
J'ai récemment mis à jour Ubuntu 11.10 avec GNOME Shell. Tout va bien sauf la barre de défilement, en particulier dans Firefox. C'est très très petit, surtout dans les longues pages!
De plus, je ne sais pas pourquoi il y a un très petit écart entre la barre de défilement et la bordure de l'écran, je ne peux donc pas cliquer sur la barre de défilement sans la voir.
Capture d'écran:
On peut modifier les barres de défilement de Firefox en supposant que les barres de défilement de superposition ne sont pas utilisées. Malheureusement, si je comprends bien, les barres de défilement (dans Firefox) sont du "contenu anonyme". Cela signifie que vous ne pouvez pas les modifier avec userChrome.css ou userContent.css. Pour modifier les barres de défilement, j'utilise le Extension élégante pour Firefox.
Après l'avoir installée, vous pourrez styliser vos barres de défilement. Voici ma version très simpliste:
@namespace xul url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);
/*scrollbars*/
scrollbar { -moz-appearance: none !important; background: #777 !important}
scrollbar[orient="vertical"] { width: 7px !important}
scrollbar[orient="horizontal"] { height: 7px !important}
scrollbar thumb {
-moz-appearance: none !important;
-moz-border-radius: 4px !important;
background: maroon !important;
min-width: 8px !important;
max-width: 8px !important;
border: 1px !important;
}
Si vous passez à le forum pour cette extension et que vous regardez autour de vous, vous trouverez plus de paramètres dans Tweak.
Comme nous l'avons déjà souligné, la longueur de la barre de défilement verticale est généralement fonction de la longueur de la page Web. Il existe peut-être un moyen de définir une longueur minimale, mais je ne l'ai pas recherchée.
Je pense que le problème ne vient pas de la barre de défilement, mais de la page Web elle-même. Quoi qu'il en soit, j'espérais que vous pourrez peut-être modifier la taille minimale de la barre de défilement à l'aide d'un fichier personnalisé userChrome.css, mais apparemment pas. Après quelques lectures, il apparaît que la seule façon de traiter le problème pourrait être d’utiliser un thème différent.
La source:
http://www-archive.mozilla.org/unix/customizing.html#userContent
http://forums.mozillazine.org/viewtopic.php?f=7&t=1337875
http://forums.mozillazine.org/viewtopic.php?f=18&t=1405635
J'utilise Ubuntu 11.10 dans une tablette et j'ai eu le même problème avec la barre de défilement. Je n'ai pas de solution parfaite, car cela dépend du thème (si vous ne savez pas quel thème utilisez-vous, installez ubuntu Tweak pour le rechercher; le mien est Ambiance) et les programmes que vous utilisez, mais je suis ces étapes et ça va pour moi maintenant:
1- Supprimer les barres de défilement superposées (pour l'unité)
2- Éditez /usr/share/themes/Ambiance/gtk-2.0/gtkrc et augmentez ces valeurs
GtkScrollbar::slider-width
GtkScrollbar::min-slider-length
3- Éditez /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets et augmentez
GtkScrollbar-min-slider-length
GtkRange-slider-width (there are several items, look for the one inside .scrollbar)
J'ai augmenté la longueur à 51 et la largeur à 23 et je suis satisfait des valeurs de ma tablette (11.6 "- 1366x768 pixels). Vous devez modifier les deux fichiers car gtk2.0 contrôle par exemple firefox et Thunderbird, et gtk- 3.0 contrôles, par exemple Nautilus et Gedit.Il y a beaucoup de réglages que vous pouvez faire dans les deux fichiers, j'ai ajouté
GtkScrollbar :: has-backward-stepper = 0 GtkScrollbar :: has-forward-stepper = 0
sur /usr/share/themes/Ambiance/gtk-2.0/gtkrc pour supprimer les flèches laides de firefox et Thunderbird.
Vous pouvez voir quelques images, toutes avec la largeur et la longueur minimales de ma barre de défilement:
Bonne chance!