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.

Parameters:

this

a `GtkMediaFile`
file

the file to play