New media playback UI.

Source/core/html/shadow/MediaControlElementTypes.cpp

Index: Source/core/html/shadow/MediaControlElementTypes.cpp
diff --git a/Source/core/html/shadow/MediaControlElementTypes.cpp b/Source/core/html/shadow/MediaControlElementTypes.cpp
index 70d738556f731e1bee57b58bf0f4ca9d2a611bc1..99f54a74f7d551496b139125c965d88c0e56a042 100644
--- a/Source/core/html/shadow/MediaControlElementTypes.cpp
+++ b/Source/core/html/shadow/MediaControlElementTypes.cpp
@@ -71,6 +71,7 @@ MediaControlElement::MediaControlElement(MediaControls& mediaControls, MediaCont
     : m_mediaControls(mediaControls)
     , m_displayType(displayType)
     , m_element(element)
+    , m_isShown(true)
 {
 }
 
@@ -82,11 +83,18 @@ HTMLMediaElement& MediaControlElement::mediaElement() const
 void MediaControlElement::hide()
 {
     m_element->setInlineStyleProperty(CSSPropertyDisplay, CSSValueNone);
+    m_isShown = false;
 }
 
 void MediaControlElement::show()
 {
     m_element->removeInlineStyleProperty(CSSPropertyDisplay);
+    m_isShown = true;
+}
+
+bool MediaControlElement::isShown()
+{
+    return m_isShown;
 }
 
 void MediaControlElement::setDisplayType(MediaControlElementType displayType)