Video.setFilename

void setFilename(string filename = null)

Makes self play the given filename.

This is a utility function that calls gtk.video.Video.setFile,

Parameters

filenamethe filename to play