load_file

Description:

public void load_file (File file)

Display contents of a file in the viewer widget.

Multiple files can be loaded.

Parameters:

this

a viewer widget
file

a file to load