set_filename

Description:

public void set_filename (string? filename)

Sets the `GtkMediaFile to play the given file.

This is a utility function that converts the given filename to a `GFile` and calls [[email protected]_file].

this	a `GtkMediaFile`
filename	name of file to play