MediaFile.setFile

void setFile(gio.file.File file = null)

Sets the [gtk.media_file.MediaFile] to play the given file.

If any file is still playing, stop playing it.

Parameters

filethe file to play