diff options
| author | Teng-Hui Zhu <ztenghui@google.com> | 2012-05-10 17:20:19 -0700 |
|---|---|---|
| committer | Teng-Hui Zhu <ztenghui@google.com> | 2012-05-10 17:23:24 -0700 |
| commit | 4dd9dc8204105a25e37dacbc392ea3c7212a8063 (patch) | |
| tree | 09868e073924e19c0c9cb1e2fb5225d998988827 /core/java/android/webkit/HTML5VideoView.java | |
| parent | f4c77df0593c1bb81dd5ee04ee415a8cf3bd37bb (diff) | |
Keep the controller when video ended.
Use the media controller as a reminder to the user when the video ended.
We don't quit the video here b/c user may want to replay the video.
bug:5340224
Change-Id: I6d5fdb54bb614277b75e1a18ebe0a7dadd47017e
Diffstat (limited to 'core/java/android/webkit/HTML5VideoView.java')
| -rw-r--r-- | core/java/android/webkit/HTML5VideoView.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/core/java/android/webkit/HTML5VideoView.java b/core/java/android/webkit/HTML5VideoView.java index 0d3b755ec701..5781840c23e6 100644 --- a/core/java/android/webkit/HTML5VideoView.java +++ b/core/java/android/webkit/HTML5VideoView.java @@ -342,4 +342,7 @@ public class HTML5VideoView implements MediaPlayer.OnPreparedListener { return m_startWhenPrepared; } + public void showControllerInFullScreen() { + } + } |