Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(124)

Unified Diff: Source/WebCore/html/shadow/MediaControlRootElementChromium.h

Issue 7472040: Merge 91337 - [chromium] Media player controls do not fade out. (Closed) Base URL: http://svn.webkit.org/repository/webkit/branches/chromium/782/
Patch Set: Created 9 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « Source/WebCore/ChangeLog ('k') | Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: Source/WebCore/html/shadow/MediaControlRootElementChromium.h
===================================================================
--- Source/WebCore/html/shadow/MediaControlRootElementChromium.h (revision 91476)
+++ Source/WebCore/html/shadow/MediaControlRootElementChromium.h (working copy)
@@ -89,8 +89,12 @@
private:
MediaControlRootElementChromium(HTMLMediaElement*);
+ virtual void defaultEventHandler(Event*);
+
virtual const AtomicString& shadowPseudoId() const;
+ bool containsRelatedTarget(Event*);
+
HTMLMediaElement* m_mediaElement;
MediaControlPlayButtonElement* m_playButton;
@@ -103,6 +107,7 @@
MediaControlPanelElement* m_panel;
bool m_opaque;
+ bool m_isMouseOverControls;
};
}
« no previous file with comments | « Source/WebCore/ChangeLog ('k') | Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698