RESOLVED FIXED126472
There should be a delay when quickly switching to a different popover at build.webkit.org/dashboard 
https://bugs.webkit.org/show_bug.cgi?id=126472
Summary There should be a delay when quickly switching to a different popover at buil...
Alexey Proskuryakov
Reported 2014-01-03 16:44:17 PST
When moving mouse pointer from an active element to its popover, there is a small area in between which is neither. A different active element is sometimes there, in which case we quickly switch to its popover. This is a correct behavior in general, but it makes it difficult to interact with the popover in some cases. Adding a tiny timeout before switching to another popover should help I think.
Attachments
WIP patch (4.75 KB, patch)
2014-01-03 16:59 PST, Alexey Proskuryakov 		no flags
DetailsFormatted DiffDiff
proposed patch (9.12 KB, patch)
2014-01-04 20:50 PST, Alexey Proskuryakov 		no flags
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Alexey Proskuryakov
Comment 1 2014-01-03 16:59:31 PST
Created attachment 220354 [details] WIP patch Seems to work correctly at first glance, but needs more refactoring and testing.
Alexey Proskuryakov
Comment 2 2014-01-04 20:50:12 PST
Created attachment 220384 [details] proposed patch
WebKit Commit Bot
Comment 3 2014-01-07 11:32:16 PST
Comment on attachment 220384 [details] proposed patch Clearing flags on attachment: 220384 Committed r161441: <http://trac.webkit.org/changeset/161441>
WebKit Commit Bot
Comment 4 2014-01-07 11:32:18 PST
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.