activate_file


Description:

public void activate_file (File? file)

Activate a file (deactivates previous active file).

Parameters:

file

The file to activate