Index: media/mojo/interfaces/renderer.mojom |
diff --git a/media/mojo/interfaces/renderer.mojom b/media/mojo/interfaces/renderer.mojom |
index e3135c8c56b9c91e10ed3ec0df53b76bd16a7cc7..bdcf06df5984ce75e752b8894cb7ec4a6d1b9249 100644 |
--- a/media/mojo/interfaces/renderer.mojom |
+++ b/media/mojo/interfaces/renderer.mojom |
@@ -23,6 +23,9 @@ interface Renderer { |
// Starts rendering from |time_usec|. |
StartPlayingFrom(int64 time_usec); |
+ // Restarts rendering a given stream after it has been reenabled. |
+ RestartStreamPlayback(bool video_stream, int64 time_usec); |
+ |
// Updates the current playback rate. The default playback rate should be 1. |
SetPlaybackRate(double playback_rate); |