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