set_filename

Description:

public void set_filename (string? filename)

Makes this play the given filename.

This is a utility function that calls set_file,

this	a `GtkVideo`
filename	the filename to play