web-dev-qa-db-fra.com

Comment puis-je élargir les barres de défilement?

J'utilise l'édition Gnome 64 bits avec le bureau classique et je n'ai pas installé de barres de défilement en superposition. Ma question est la suivante: comment puis-je élargir les barres de défilement? Ils sont trop minces pour que je puisse frapper aussi rapidement et précisément que je le souhaiterais. Existe-t-il un paramètre que je peux modifier dans les fichiers de thème ou dans d/gconf quelque part? Merci de votre aide!

gnomecustomizationscrollbar
4
Argyle

Cela représente environ la moitié d'entre eux:

Ajoutez les lignes suivantes à ~/.gtkrc-2.0

style "scroll"
{
    GtkScrollbar::slider-width        = 40
}

class "*" style "scroll"

Cela fonctionne pour firefox, kicad et plusieurs autres.

Et cela semble avoir l'autre moitié:

Pour le reste (le matériel gtk3, je suppose), j'ai copié le thème que j'utilisais de/usr/share/themes dans ~/.themes et lui ai donné un nouveau nom, "MyTheme". Puis, dans ~/.themes/MyTheme/gtk-3.0, j'ai trouvé le fichier CSS contenant "-GtkScrollbar-slider-width:" et y ai modifié la valeur. J'ai utilisé l'outil Gnome Tweak pour sélectionner mon nouveau thème. Maintenant, mes curseurs ont tous une largeur de 40 pixels!

5
Argyle

J'utilise Ubuntu 15.10. Voici comment j'ai augmenté la largeur de ma barre de défilement:

J'utilise le thème Ambiance, alors voici ce que j'ai fait:

Éditez le fichier CSS en utilisant cette commande:

Sudo gedit /usr/share/themes/Ambiance/gtk-3.0/gtk-widgets.css

Cherchez cette section:

/*************
* scrollbar *
*************/
.scrollbar {
-GtkScrollbar-has-backward-stepper: 0;
-GtkScrollbar-has-forward-stepper: 0;
-GtkScrollbar-trough-border: 0;
-GtkScrollbar-min-slider-length: 31;
-GtkRange-slider-width: 30; <------------------Change This!!!

Enregistrez ensuite le fichier et déconnectez-vous/connectez-vous à nouveau.

J'étais tellement frustré par les énormes barres de défilement très étroites que je suis presque revenu sur Windows pour cette question. Les concepteurs d'Ubuntu ont vraiment tout gâché. Les barres de défilement utilisables sont assez importantes. Les rendre très étroits pour occuper moins d’espace était pas une bonne idée. Ils doivent être large pour pouvoir cliquer facilement! Ubuntu, comme Microsoft, fait tout son possible pour que les choses se passent bien sur Mobile, au point qu'elles finissent par ruiner les choses pour les utilisateurs non mobiles. (Pardonnez-moi pour la critique)

1
Clay Ferguson

Tout d’abord, vous devez rechercher le thème que vous utilisez. Dans mon cas, pour Ubuntu 17.10, le thème était Ambiance et le fichier concret à éditer était celui-ci:

/usr/share/themes/Ambiance/gtk-3.20/gtk-widgets.css

Recherchez cette partie du fichier CSS:

.scrollbar.vertical slider,
scrollbar.vertical slider {
    min-height: 15px;
    min-width: 5px;
}

Et puis changez le min-width: 5px; pour la valeur que vous jugez grande. Je l'ai changé en 12px et c'est incroyable :)

1
xarlymg89