Bug 126451

Summary:

It feels too hard to get rid of a popover at build.webkit.org/dashboard

Product:

WebKit

Reporter:

Alexey Proskuryakov <ap>

Component:

Tools / Tests

Assignee:

Alexey Proskuryakov <ap>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

simon.fraser, thorton, timothy

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
proposed patch	simon.fraser: review+

Description Alexey Proskuryakov 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.

Comment 1 Alexey Proskuryakov 2014-01-03 12:56:50 PST

Created attachment 220330 [details]
proposed patch

Comment 2 Alexey Proskuryakov 2014-01-03 12:58:33 PST

Committed <http://trac.webkit.org/r161281>.