After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 598063 - [alt-tab] Use shorter hover time
[alt-tab] Use shorter hover time
Status: RESOLVED DUPLICATE of bug 597900
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2009-10-11 08:51 UTC by drago01
Modified: 2009-10-11 10:34 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
[alt-tab] Use shorter hover time (865 bytes, patch)
2009-10-11 08:51 UTC, drago01
none Details | Review

Description drago01 2009-10-11 08:51:40 UTC
Created attachment 145240 [details] [review]
[alt-tab] Use shorter hover time

Currently the hovertime is set to 500 msecs (0.5 secs), which is way to long.
The result is that it feels like the UI is lagging rather then using an
intentional delay.
Comment 1 drago01 2009-10-11 10:34:51 UTC
Seems already part "refinements for alt+tab" bug.

*** This bug has been marked as a duplicate of bug 597900 ***