| Index: webkit/glue/webmediaplayer_impl.h
|
| ===================================================================
|
| --- webkit/glue/webmediaplayer_impl.h (revision 23335)
|
| +++ webkit/glue/webmediaplayer_impl.h (working copy)
|
| @@ -106,6 +106,7 @@
|
| // WebMediaPlayerImpl.
|
| void PipelineInitializationCallback();
|
| void PipelineSeekCallback();
|
| + void PipelineEndedCallback();
|
| void PipelineErrorCallback();
|
|
|
| private:
|
| @@ -118,6 +119,9 @@
|
| // Notify |webmediaplayer_| that a seek has finished.
|
| void PipelineSeekTask();
|
|
|
| + // Notify |webmediaplayer_| that the media has ended.
|
| + void PipelineEndedTask();
|
| +
|
| // Notify |webmediaplayer_| that a pipeline error has been set.
|
| void PipelineErrorTask();
|
|
|
| @@ -220,6 +224,8 @@
|
|
|
| void OnPipelineSeek();
|
|
|
| + void OnPipelineEnded();
|
| +
|
| void OnPipelineError();
|
|
|
| private:
|
|
|
| Property changes on: webkit\glue\webmediaplayer_impl.h
|
| ___________________________________________________________________
|
| Modified: svn:mergeinfo
|
| Merged /trunk/src/webkit/glue/webmediaplayer_impl.h:r23255
|
|
|
|
|