set_file

Description:

public void set_file (File? file)

Sets the file that will be opened.

Parameters:

this

a file launcher
file

the file