diff options
author | Teng-Hui Zhu <ztenghui@google.com> | 2011-08-25 11:51:51 -0700 |
---|---|---|
committer | Teng-Hui Zhu <ztenghui@google.com> | 2011-08-25 13:40:13 -0700 |
commit | d29efd6d376d29ec2695f8d3bc093d683f5dd119 (patch) | |
tree | 8114fea5a8d93002fe8d363cf9618abcbe6b731b /Source/WebCore/html/HTMLMediaElement.cpp | |
parent | b5618de0bdd440dd8567ef1677dc4e514905dc0b (diff) | |
download | external_webkit-d29efd6d376d29ec2695f8d3bc093d683f5dd119.zip external_webkit-d29efd6d376d29ec2695f8d3bc093d683f5dd119.tar.gz external_webkit-d29efd6d376d29ec2695f8d3bc093d683f5dd119.tar.bz2 |
Fix the duration value for the html5 inline video
bug:4600281
Change-Id: Ied1cd64744b59b9b272547656bc250c9eea5ed9e
Diffstat (limited to 'Source/WebCore/html/HTMLMediaElement.cpp')
-rw-r--r-- | Source/WebCore/html/HTMLMediaElement.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/WebCore/html/HTMLMediaElement.cpp b/Source/WebCore/html/HTMLMediaElement.cpp index f4f7002..023e8d2 100644 --- a/Source/WebCore/html/HTMLMediaElement.cpp +++ b/Source/WebCore/html/HTMLMediaElement.cpp @@ -1945,6 +1945,11 @@ void HTMLMediaElement::mediaPlayerDurationChanged(MediaPlayer*) if (renderer()) renderer()->updateFromElement(); endProcessingMediaPlayerCallback(); + +#if PLATFORM(ANDROID) + if (hasMediaControls()) + mediaControls()->reset(); +#endif } void HTMLMediaElement::mediaPlayerRateChanged(MediaPlayer*) |