La vie personnelle du chat
Changer l’épaisseur des barres de défilement
Comme je suis masoschiste et que j’ai maintenant un grand bureau, j’ai décidé depuis de ne plus utiliser de souris (sauf en cas de nécessité) et d’utiliser le stylet de ma tablette graphique (wacom graphire) pour voir si c’est agréable. Ben étonnamment, on s’y habitue. Par contre, y’a toujours le problème qu’un stylet manque un peu de précision quand on doit faire un simple clic sur une petite cible.
Histoire de se conformer à la loi de Fitt, j’ai estimé qu’une des plus grosses difficultés est d’utiliser les barres de défilement (bah oui, y’a pas de molette de souris, donc faut cliquer), parce qu’elles sont étroites. Pas de panique, y’a une petite astuce. Il suffit de créer/modifier le fichier «~/.gtkrc-2.0», et avoir le contenu suivant à l’intérieur:
style "scroll" { GtkScrollbar::slider-width = 25 }
class "*" style "scroll"
Le résultat, bien que visuellement étrange, est très fonctionnel:
| This entry was posted by nekohayo on 26 July 2009 at 10:24, and is filed under GNOME, Usability, Vie personnelle. Follow any responses to this post through RSS 2.0. Both comments and pings are currently closed. |
Comments are closed.
