MediaStream.streamEnded

void streamEnded()

Pauses the media stream and marks it as ended.

This is a hint only, calls to [gtk.media_stream.MediaStream.play] may still happen.

The media stream must be prepared when this function is called.