Désactiver le masquage de la souris dans Gnome Terminal lors de la frappe

17

Quelqu'un sait-il comment désactiver le comportement haineux qui est maintenant par défaut dans Gnome Terminal - lorsqu'une touche est enfoncée, le pointeur de la souris se cache jusqu'à ce qu'il soit à nouveau déplacé.

Je suis honnêtement prêt à passer des distributions Linux à quelque chose sans Gnome après des heures d'essayer de faire en sorte que cela ne se produise pas. Cela me ralentit complètement / tue ma productivité ...

terminal mouse gnome BadZen
la source
Je suis sur la dernière Fedora, btw.
BadZen
3
En tant que personne qui utilise régulièrement plusieurs fenêtres d'application dans mon flux de travail, je comprends parfaitement votre frustration. Plutôt que de recompiler le terminal GNOME (qui devrait vraiment être marqué comme la bonne réponse), je vous suggère d'installer ROXTerm: sudo apt-get install roxtermil a été initialement conçu comme un terminal GNOME mais sans la dépendance des bibliothèques GNOME. Il cache également le curseur de manière plus logique!
wayfarer_boy
2
Toujours à la lumière de la comparaison des deux côte à côte, je vois ce que je voulais / vraiment / voulait que le curseur affiche toujours lors du déplacement de la souris - ne nécessite pas un clic - et ne désactive pas complètement le masquage. Bien que la réponse de @ egmont puisse toujours répondre à mon Q comme demandé ...
BadZen
2
Le mauvais comportement (signalé sur bugzilla.gnome.org/show_bug.cgi?id=725342 ) est causé par des événements de focus in / out manquants ( bugzilla.gnome.org/show_bug.cgi?id=677329 ) qui viennent d'être corrigés dans Gtk + : git.gnome.org/browse/gtk+/commit/?id=d55b815
egmont
1
ce que le F! Oui c'est ça (Fedora 22), il cache la souris et à moins que vous ne cliquiez dessus il n'apparaît pas. J'utilise Cinnamon sur Fedora, j'ai abandonné la plupart des applications gnome (l'éditeur est maintenant inutile) utilisaient toujours gnome-terminal, le temps de laisser tomber celui-là aussi.
dashesy

Réponses:

4

Gnome-terminal n'a pas d'option pour désactiver le masquage du curseur de la souris. Déplacer la souris l'affichera parfois (pas sûr du critère) et parfois non. Plusieurs fois, vous devez (comme vous l'avez déjà remarqué) cliquer sur la fenêtre pour l'afficher. Le problème avec cela est que si vous avez plusieurs fenêtres de terminal et plusieurs moniteurs, avec le curseur caché, vous ne savez pas où vous cliquez.

La résolution consiste à remplacer le terminal par défaut par un autre émulateur tel que xfece4-terminalou tel que mentionné dans le commentaire roxterm.

Vous devrez également modifier l'émulateur de terminal par défaut pour afficher votre nouvelle configuration par défaut avec:

$ gsettings set org.gnome.desktop.default-applications.terminal exec 'xfce4-terminal'

(Remplacez xface4-terminal dans la commande par votre autre émulateur.)

LD James
la source
0

C'est un bug dans gnome-terminal: le curseur de la souris se cache parfois si le terminal est focalisé

Le bogue est maintenant marqué comme RESOLVED FIXED, il pourrait donc bientôt atteindre votre distribution:

Le correctif est devenu le tarball officiel de Gtk + 3.18.9, et à son tour, est déjà apparu dans Debian Unstable et dans Ubuntu Xenial beta.

La réponse de James résout le problème, mais pour ceux qui ne savent pas gâcher leur système, endurer le bogue pendant quelques semaines de plus jusqu'à ce que votre distribution mette à jour gnome-terminal est l'option la plus sûre.

Nicolas Raoul
la source