[Webkit-unassigned] [Bug 30529] Hide Chromium's media slider thumb if no source has been loaded.

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Oct 19 14:02:18 PDT 2009


https://bugs.webkit.org/show_bug.cgi?id=30529


David Levin <levin at chromium.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #41440|review?, commit-queue?      |review-
               Flag|                            |




--- Comment #5 from David Levin <levin at chromium.org>  2009-10-19 14:02:16 PDT ---
(From update of attachment 41440)
r- to move out of the queue since Andrew said he is uploading something new.


> diff --git a/WebCore/rendering/RenderMediaControlsChromium.cpp b/WebCore/rendering/RenderMediaControlsChromium.cpp
> +    if (mediaElement->networkState() == HTMLMediaElement::NETWORK_EMPTY ||
> +        mediaElement->networkState() == HTMLMediaElement::NETWORK_NO_SOURCE)
fyi, the || should be on the next line.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.



More information about the webkit-unassigned mailing list