Next: , Previous: Editing Sources, Up: Editing Files   [Index]


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

This dialog provides the following areas and capabilities:


Next: , Previous: Editing Sources, Up: Editing Files   [Index]