| OLD | NEW |
| 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "webkit/media/webmediaplayer_impl.h" | 5 #include "webkit/media/webmediaplayer_impl.h" |
| 6 | 6 |
| 7 #include <algorithm> | 7 #include <algorithm> |
| 8 #include <limits> | 8 #include <limits> |
| 9 #include <string> | 9 #include <string> |
| 10 #include <vector> | 10 #include <vector> |
| (...skipping 17 matching lines...) Expand all Loading... |
| 28 #include "media/base/pipeline.h" | 28 #include "media/base/pipeline.h" |
| 29 #include "media/base/video_frame.h" | 29 #include "media/base/video_frame.h" |
| 30 #include "media/filters/audio_renderer_impl.h" | 30 #include "media/filters/audio_renderer_impl.h" |
| 31 #include "media/filters/chunk_demuxer.h" | 31 #include "media/filters/chunk_demuxer.h" |
| 32 #include "media/filters/ffmpeg_audio_decoder.h" | 32 #include "media/filters/ffmpeg_audio_decoder.h" |
| 33 #include "media/filters/ffmpeg_demuxer.h" | 33 #include "media/filters/ffmpeg_demuxer.h" |
| 34 #include "media/filters/ffmpeg_video_decoder.h" | 34 #include "media/filters/ffmpeg_video_decoder.h" |
| 35 #include "media/filters/opus_audio_decoder.h" | 35 #include "media/filters/opus_audio_decoder.h" |
| 36 #include "media/filters/video_renderer_base.h" | 36 #include "media/filters/video_renderer_base.h" |
| 37 #include "media/filters/vpx_video_decoder.h" | 37 #include "media/filters/vpx_video_decoder.h" |
| 38 #include "third_party/WebKit/Source/Platform/chromium/public/WebRect.h" | 38 #include "third_party/WebKit/public/platform/WebRect.h" |
| 39 #include "third_party/WebKit/Source/Platform/chromium/public/WebSize.h" | 39 #include "third_party/WebKit/public/platform/WebSize.h" |
| 40 #include "third_party/WebKit/Source/Platform/chromium/public/WebString.h" | 40 #include "third_party/WebKit/public/platform/WebString.h" |
| 41 #include "third_party/WebKit/Source/Platform/chromium/public/WebURL.h" | 41 #include "third_party/WebKit/public/platform/WebURL.h" |
| 42 #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaSource.h" | 42 #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaSource.h" |
| 43 #include "third_party/WebKit/Source/WebKit/chromium/public/WebRuntimeFeatures.h" | 43 #include "third_party/WebKit/Source/WebKit/chromium/public/WebRuntimeFeatures.h" |
| 44 #include "third_party/WebKit/Source/WebKit/chromium/public/WebView.h" | 44 #include "third_party/WebKit/Source/WebKit/chromium/public/WebView.h" |
| 45 #include "v8/include/v8.h" | 45 #include "v8/include/v8.h" |
| 46 #include "webkit/media/buffered_data_source.h" | 46 #include "webkit/media/buffered_data_source.h" |
| 47 #include "webkit/media/webaudiosourceprovider_impl.h" | 47 #include "webkit/media/webaudiosourceprovider_impl.h" |
| 48 #include "webkit/media/webmediaplayer_delegate.h" | 48 #include "webkit/media/webmediaplayer_delegate.h" |
| 49 #include "webkit/media/webmediaplayer_params.h" | 49 #include "webkit/media/webmediaplayer_params.h" |
| 50 #include "webkit/media/webmediaplayer_util.h" | 50 #include "webkit/media/webmediaplayer_util.h" |
| 51 #include "webkit/media/webmediasourceclient_impl.h" | 51 #include "webkit/media/webmediasourceclient_impl.h" |
| (...skipping 1216 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1268 | 1268 |
| 1269 if (pending_repaint_) | 1269 if (pending_repaint_) |
| 1270 return; | 1270 return; |
| 1271 | 1271 |
| 1272 pending_repaint_ = true; | 1272 pending_repaint_ = true; |
| 1273 main_loop_->PostTask(FROM_HERE, base::Bind( | 1273 main_loop_->PostTask(FROM_HERE, base::Bind( |
| 1274 &WebMediaPlayerImpl::Repaint, AsWeakPtr())); | 1274 &WebMediaPlayerImpl::Repaint, AsWeakPtr())); |
| 1275 } | 1275 } |
| 1276 | 1276 |
| 1277 } // namespace webkit_media | 1277 } // namespace webkit_media |
| OLD | NEW |