GNOME Bugzilla – Bug 759387
Config to disable mouse autohide
Last modified: 2016-02-12 23:47:41 UTC
Allegedly there are some troubles with mouse autohide, and some people don't like the idea anyways. - Bug 725342 - https://bugzilla.redhat.com/show_bug.cgi?id=1238315 - http://superuser.com/q/902909/278816 How about a (global or per-profile) dconf option? No UI needed I think.
I don't know specifically how to recreate this but it happens periodically that moving the mouse won't activate it to reappear. When the mouse is invisible it takes a long time figure out where the cursor is. In the process of trying to figure out I move it and click it until I find it. During the clicks I risk activating something no a window intentionally. The time spend trying to figure out where it is also seriously interrupt my work flow, focus and concentration. I have experienced this problem between version upgrades as well fresh installs. The link above shows this bug ins't limited to my environment. As the OP has suggested, placing an option to disable this autohide would be an ideal solution, and drastically enhance productivity for the users who spend a lot of time in terminal windows. -- L. James -- L. D. James ljames@apollo3.com www.apollo3.com/~ljames
As far as Icnsee, all the linked reports really are about the bug where somehow we're not getting motion events even though the mouse moved over our window. We're not going to add a 'work around this other bug' pref. g-t has done the autohiding since practically forever, and the only complaints we've got are because of aforementioned bug (which is almost certainly NOT in vte, but gtk+/WM/X server). > some people don't like the idea anyways. If so, we might add a pref. But let them argue *for* it, not as a workaround for the bug :-)
Could we instead hear someone make the argument for why cursor hiding is so vitally important that it's worth making users suffer through these bugs? I mean, cursor hiding can be handy when it works. I won't deny that. However, over the last couple years there have been so many issues with the cursor not reappearing that it's really worth considering whether this feature is worth the problems it tends to cause. I generally understand and respect GNOME's "don't give users choices they aren't equipped to make" policy, but the seemingly-endless set of bugs that arises from this feature seems like it's begging for an option so that people who need their system to be reliable for things like work can disable it. It's purely aesthetic.
Keep the discussion FOR bug 725342 IN bug 725342, please. As I've already stated in comment 2, I won't add a pref just to work around a bug that exists elsewhere.
(In reply to Christian Persch from comment #4) > Keep the discussion FOR bug 725342 IN bug 725342, please. As I've already > stated in comment 2, I won't add a pref just to work around a bug that > exists elsewhere. The bug manifests itself in Gnome-Terminal. Gnome-Terminal (the mouse hiding feature) isn't compatible with the latest versions of Linux. Since it doesn't work there really should be some serious consideration for providing something that works... the removal of the hiding mouse. On my system it takes about an hour before it manifests itself. I usually have 5 or six terminals opened. It always happens to one or two of them after I've been working for an hour. -- L. James -- L. D. James ljames@apollo3.com www.apollo3.com/~ljames
The underlying bug is fixed now, so I see no reason to keep this feature request.
Is this patched version published somewhere? If it isn't, is there some documents or link to how to perform the patch? If I can get it working, I'll provide the steps to other forums where this problem is discussed. -- L. James -- L. D. James ljames@apollo3.com www.apollo3.com/~ljames