DescriptionMerge 91337 - [chromium] Media player controls do not fade out.
https://bugs.webkit.org/show_bug.cgi?id=64837
Media controls were not fading out when the mouse leaves the video
due to underlying changes in webkit media controls.
Fix was to copy missing code from MediaControlRootElement to
MediaControlRootElementChromium.
Reviewed by Dimitri Glazkov.
* html/shadow/MediaControlRootElementChromium.cpp:
(WebCore::MediaControlRootElementChromium::MediaControlRootElementChromium):
(WebCore::MediaControlRootElementChromium::playbackProgressed):
(WebCore::MediaControlRootElementChromium::containsRelatedTarget):
(WebCore::MediaControlRootElementChromium::defaultEventHandler):
* html/shadow/MediaControlRootElementChromium.h:
TBR=sjl@chromium.org
Committed: http://src.chromium.org/viewvc/chrome?view=rev&revision=91477
Patch Set 1 #
Messages
Total messages: 1 (0 generated)
|