Title: [87671] trunk/Source/WebCore
Revision
87671
Author
aba...@webkit.org
Date
2011-05-29 22:54:59 -0700 (Sun, 29 May 2011)

Log Message

2011-05-29  Adam Barth  <aba...@webkit.org>

        Attempt to fix build by implementing pure virtual function.

        * html/shadow/MediaControlRootElementChromium.cpp:
        (WebCore::MediaControlRootElementChromium::shouldHideControls):
        * html/shadow/MediaControlRootElementChromium.h:

Modified Paths

Diff

Modified: trunk/Source/WebCore/ChangeLog (87670 => 87671)


--- trunk/Source/WebCore/ChangeLog	2011-05-30 05:20:38 UTC (rev 87670)
+++ trunk/Source/WebCore/ChangeLog	2011-05-30 05:54:59 UTC (rev 87671)
@@ -1,3 +1,11 @@
+2011-05-29  Adam Barth  <aba...@webkit.org>
+
+        Attempt to fix build by implementing pure virtual function.
+
+        * html/shadow/MediaControlRootElementChromium.cpp:
+        (WebCore::MediaControlRootElementChromium::shouldHideControls):
+        * html/shadow/MediaControlRootElementChromium.h:
+
 2011-05-29  Brian Weinstein  <bweinst...@apple.com>
 
         Reviewed by Darin Adler.

Modified: trunk/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp (87670 => 87671)


--- trunk/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp	2011-05-30 05:20:38 UTC (rev 87670)
+++ trunk/Source/WebCore/html/shadow/MediaControlRootElementChromium.cpp	2011-05-30 05:54:59 UTC (rev 87671)
@@ -249,6 +249,11 @@
 {
 }
 
+bool MediaControlRootElementChromium::shouldHideControls()
+{
+    return !m_panel->hovered();
+}
+
 void MediaControlRootElementChromium::loadedMetadata()
 {
     reset();

Modified: trunk/Source/WebCore/html/shadow/MediaControlRootElementChromium.h (87670 => 87671)


--- trunk/Source/WebCore/html/shadow/MediaControlRootElementChromium.h	2011-05-30 05:20:38 UTC (rev 87670)
+++ trunk/Source/WebCore/html/shadow/MediaControlRootElementChromium.h	2011-05-30 05:54:59 UTC (rev 87671)
@@ -84,6 +84,8 @@
     void updateTimeDisplay();
     void updateStatusDisplay();
 
+    virtual bool shouldHideControls();
+
 private:
     MediaControlRootElementChromium(HTMLMediaElement*);
 
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes

Reply via email to