[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 13:37:52 PDT 2009
https://bugs.webkit.org/show_bug.cgi?id=30529
--- Comment #3 from Eric Seidel <eric at webkit.org> 2009-10-19 13:37:51 PDT ---
(From update of attachment 41440)
It seems there was at least one other:
if (mediaElement->networkState() == HTMLMediaElement::NETWORK_EMPTY ||
154 mediaElement->networkState() ==
HTMLMediaElement::NETWORK_NO_SOURCE)
check, maybe this check should be unified into a static method which can be
used in multiple places in this file?
--
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