set_file

Description:

public void set_file (File? file)

Makes this play the given file.

Parameters:

this

a `GtkVideo`
file

the file to play