The file browser is a dialogue that allows the user to select a single
file from any directory. It is typically used when choosing a file for a
particular action, such as opening a database in Gap or saving a
trace file in Trev. The precise details of the layout may change
depending on this context.The illustration below shows the file browser
as displayed when opening a new file from within Trev. The
`Formats' and `Filter' section here are used to select
different file types. These dialogue components may not appear in all
file browsers.
The `OK', `Filter', `Cancel' and `Help' buttons perform their usual tasks; `OK' accepts the file currently shown in the selection component, `Cancel' quits the dialogue, and `Help' displays this text.