set_file

Description:

public void set_file (File? file)

Sets the `GtkMediaFile` to play the given file.

If any file is still playing, stop playing it.

this	a `GtkMediaFile`
file	the file to play