set_filename


Description:

public void set_filename (string? filename)

Makes this play the given filename.

This is a utility function that calls set_file,

Parameters:

this

a `GtkVideo`

filename

the filename to play