set_file

Description:

public void set_file (File? file)

Sets the file that will be opened.

Parameters:

this

a `GtkFileLauncher`
file

a `GFile`