Comment contrôler le comportement de la barre de défilement dans Cinnamon?

J'utilise une machine Debian 8. Je crois que Cinnamon est son gestionnaire de fenêtres:

$ wmctrl -m
Name: Mutter (Muffin)
Class: N/A
PID: N/A
Window manager's "showing the desktop" mode: N/A

Lorsqu'un clic de souris survient dans la zone de barre de défilement, la coche de la barre de défilement s'aligne à l'endroit du clic plutôt que de faire défiler la page vers le haut ou le bas. Je trouve que c'est un comportement très ennuyant.

Je n'arrive pas à trouver le paramètre permettant de contrôler le comportement de la barre de défilement. Je me suis fatigué de passer par les suspects habituels, comme les applets générales et Windows . J'ai aussi essayé de chercher dans l' applet Paramètres système , mais il a renvoyé 0 résultat.

Pour plus de détails, voici le réglage équivalent sous Mac OS X. Notez les choix Clic dans la barre de défilement . Vous pouvez le trouver dans l' application Paramètres , Paramètres généraux .

— jww
source

Quels programmes utilisez-vous? Les barres de défilement ne sont pas dessinées ou gérées par le gestionnaire de tâches, mais par le toolkit de widgets.

— Grawity

@grawity - Le programme est le terminal. Les barres de défilement sont dessinées. C'est problématique parce que j'ai un défilement illimité. Parfois, je veux seulement revenir en arrière de 3 pages avec 30 000 lignes d’historique de défilement. Il est impossible d'utiliser la souris pour déplacer le pouce tick 3 pages.

— jww

Le gestionnaire de fenêtres ne sait absolument rien des barres de défilement. Ils sont dessinés par le toolkit de widgets utilisé par chaque programme - dans GNOME, il s’agit principalement de GTK +, dans KDE, de Qt. Ainsi, le comportement de la barre de défilement dans les programmes GNOME (Cinnamon) serait une option GTK +, et plus spécifiquement une option GTK 3 dans votre cas.

Pour revenir définitivement à l'ancien comportement de la barre de défilement, définissez l' option gtk-primary-button-warps-slider sur falsedans votre ~/.config/gtk-3.0/settings.ini.

(Oui, il aurait pu être ajouté à l'application "Paramètres" de Cinnamon, bien que ce soit un peu obscur et donc plus susceptible d'apparaître dans "GNOME Tweak Tool". Enregistrez une demande de fonctionnalité.)

Dans GTK + 3, vous avez d'autres méthodes:

Cliquez sur le curseur de défilement et maintenez- le enfoncé pendant quelques secondes jusqu'à ce qu'il passe en "mode précis" (le curseur devient plus fin) et ne défile que quelques lignes à la fois.
Vous pouvez également appuyer sur Shiftpour entrer immédiatement en "mode précis", comme ci-dessus.
Ou utilisez ShiftPageUp / PageDownpour faire défiler le terminal page par page.

— Grawity
source

Parfait, merci beaucoup. Votre connaissance de Linux et Unix est incroyable. Je vais déposer un rapport de bogue à ce sujet. Je ne devrais pas avoir à éditer un fichier INI manuellement pour ce réglage particulier.

— jww