Je pense que vous devriez être prudent là-bas. Nous sommes nombreux à ne PAS recommander de modifier les paramètres par défaut du système pour un thème, à moins que vous n'ayez vraiment l'intention d'interférer avec l'activité de tous les comptes d'utilisateur du système. Si vous commettez une erreur en le faisant, cela affecte tous les comptes d'utilisateurs. Un autre point de prudence est que lorsque les packages sont mis à jour, vos modifications seront effacées.
Un autre inconvénient de cette stratégie est qu'elle ne modifie que le comportement d'un thème GTK, mais vous pouvez également modifier la taille de la barre de défilement dans TOUS les thèmes GTK-3.0.
Modifiez plutôt les fichiers de configuration dans un compte d'utilisateur. L'astuce consiste à déterminer laquelle est la distance la plus courte jusqu'au point final souhaité. Le fichier GTK que vous modifiez fait partie d'une configuration CSS (feuilles de style en cascade). La personnalisation que vous avez définie dans votre compte modifiera donc les paramètres.
Dans votre compte d'utilisateur, dans le dossier ~ / .config / gtk-3.0 / gtk.css, je l'ai actuellement dans un fichier appelé "gtk.css".
.scrollbar {
-GtkScrollbar-has-backward-stepper: true;
-GtkScrollbar-has-forward-stepper: true;
-GtkRange-slider-width: 20;
-GtkRange-stepper-size: 20;
}
Si vous jouez un peu avec cela, vous constaterez qu'il est possible d'intégrer de nombreuses modifications spécifiques à partir du fichier de thème que vous avez modifié précédemment. À un moment donné, j'ai essayé très fort de manipuler de nombreux paramètres, mais je suis maintenant dans le mode "Restez simple"
Si vous voulez vraiment éditer beaucoup de paramètres, la bonne chose à faire est de copier le fichier entier gtk-widgets.css et de le placer dans votre dossier ~ / .config / gtk-3.0. Allez ensuite en ville en train de jouer avec les réglages.
Dans le même dossier, j'ai un fichier nommé "settings.ini"
[Settings]
gtk-primary-button-warps-slider = false
Cela empêche un clic dans la barre de défilement de se déplacer à un certain point dans le fichier, au lieu de cela, il avance d'un seul écran. Je préfère cela!
L'autre chose à savoir est que le changement de ce fichier de thème (comme recommandé précédemment par @Dorian ou par un compte d'utilisateur pour tous les thèmes basés sur GTK-3.0 comme je le suggère) ne modifie que les programmes basés sur la boîte à outils GTK-3.0. Cela ne change pas la barre de défilement pour toutes les applications. Ce n'est que pour ceux qui lisent ce fichier de configuration gtk-3.0. Puisque vous éditez un thème gtk-3.0, les applications écrites avec QT ou gtk-2.0 ne changeront pas. Par conséquent, modifier la taille de la barre de défilement de tous les programmes est un peu plus difficile / fastidieux que vous ne le pensiez.
J'ai également changé la largeur de la barre de défilement dans gtk-2.0. Ceci est fait dans un dossier séparé ~ / .config / gtk-2.0. Le fichier à créer s'appelle gtkrc
style "scroll"
{
GtkScrollbar::slider-width = 20
}
Notez que gtk-2.0 est une configuration différente, donc la syntaxe est différente. Vous ne pouvez pas simplement copier le fichier css de gtk-3.0 dans le dossier gtk-2.0.
J'ai remarqué que certaines applications se comportaient mal lorsque vous rendiez la barre de défilement différente, car la taille du "grappin" à l'intérieur du curseur n'était pas redimensionnée correctement. Je pense que les modifications apportées au fichier de @ Dorian par une barre de défilement aideraient à cela. Je peux revenir et essayer cela. Je vous tiens au courant.
Résumé: La clé "des conseils des anciens administrateurs système Linux est" NE modifiez PAS les fichiers de configuration à l’échelle du système. Vous mettez votre système en péril, vos modifications ne dureront pas lors des révisions et cela nécessite un accès root, ce qui n'est jamais bon pour des choses esthétiques comme celle-ci. Trouvez un moyen d'apporter des modifications à votre compte d'utilisateur.
PS Si vous voulez vraiment manipuler les fichiers système (parfois, si je veux vraiment insister pour que tous les utilisateurs aient les couleurs de mon équipe de football préférées comme fond d'écran et jeu de couleurs :)), la première chose à faire est de faire une copie de le fichier d'origine et nommez-le "gtk-widgets.css.orig". Ensuite, lorsque vous éditez votre fichier, enregistrez une copie de votre édition sous le nom "gtk-widgets.css.20160919", sur laquelle figure la date AAAAMMJJ à la fin. Ainsi, lorsque le paquet deb sera mis à jour, vous aurez une copie de votre fichier édité. Celui que vous éditez nommé gtk-widgets.css sera effacé par l’installation du paquet.