Comment arrêter le focus qui suit la souris ?

Dans Gnome Shell, il y a trois modes de focalisation de fenêtre possibles, (à partir de dconf-editor) 1) "click" signifie que les fenêtres doivent être cliquées afin de les focaliser, 2) "sloppy" signifie que les fenêtres sont focalisées lorsque la souris entre dans la fenêtre, et 3) "mouse" signifie que les fenêtres sont focalisées lorsque la souris entre dans la fenêtre et non focalisées lorsque la souris quitte la fenêtre. Ainsi, pour désactiver la mise au point après la souris, vous devez la définir sur "clic" :

gsettings set org.gnome.desktop.wm.preferences focus-mode 'click'

C'est en fait le paramètre par défaut dans Ubuntu et dans de nombreuses installations de Gnome Shell. Donc aussi la commande

gsettings reset org.gnome.desktop.wm.preferences focus-mode

reviendrait généralement au réglage "clic".

Ce paramètre est également exposé dans l'utilitaire Gnome Tweaks (onglet Windows). Il n'est pas installé par défaut dans Ubuntu.

Comme vanadium l'a deviné, j'étais sur la mauvaise piste avec "focus follows mouse". Je pense maintenant que le dysfonctionnement que j'avais est mieux décrit comme un "affichage flou" dû à certains paramètres d'anticrénelage dans les paramètres du serveur X de NVIDIA.