Next: , Previous: Editing Sources, Up: Editing Files


5.3 The File Selector

The file selector is a dialog used to select a file. Under Windows, the default is to use the standard file selection widget. Under other platforms, the file selector is a built-in dialog:

open-file.jpg

This dialog provides the following areas and capabilities: