WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
126451
It feels too hard to get rid of a popover at build.webkit.org/dashboard
https://bugs.webkit.org/show_bug.cgi?id=126451
Summary
It feels too hard to get rid of a popover at build.webkit.org/dashboard
Alexey Proskuryakov
Reported
2014-01-03 12:43:58 PST
A few people told me that they feel stuck in popovers. There were some suggestions for how to improve that: - Remove the popover when the Esc key is pressed. - Remove it faster when the mouse is far from it. The reason why I don't start fadeout immediately when mouse moves out of active area is to avoid flickering when mouse pointer moves from element to popover itself. But we don't need a full second for that. Looks like 200 ms is enough to avoid flicker, and yet it unnoticeable when intentionally moving the mouse out to hide the popover. Hopefully this will alleviate the need for the other fixes.
Attachments
proposed patch
(1.33 KB, patch)
2014-01-03 12:56 PST
,
Alexey Proskuryakov
simon.fraser
: review+
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Alexey Proskuryakov
Comment 1
2014-01-03 12:56:50 PST
Created
attachment 220330
[details]
proposed patch
Alexey Proskuryakov
Comment 2
2014-01-03 12:58:33 PST
Committed <
http://trac.webkit.org/r161281
>.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug