set_file

Description:

public void set_file (File? file)

Makes this play the given file.

Parameters:

this	a `GtkVideo`
file	the file to play