[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