File browser

Every time a user wants to open a file, a file browser is used for choosing it.

In the left part of the window the directory hierarchy can be traversed by double-clicking on the directory names.

In the right part the existing files in the current directory are displayed.

The list can be restricted by a filter. For example all B(PN)² programs can be listed by selecting *.bpn2 as a filter, provided you follow the naming conventions and do not name a B(PN)² program, say, bill.txt.

The current selection is displayed at the bottom of the window.

A file can be opened either by a double-click on its name or by a click on the OK button when the file is selected.

The file browser can be closed by a click on the Cancel button.

The Help button invokes a help page.