About TerraExplorer Options
The TerraExplorer Options determine your working environment. Any changes in these options are saved and used in your future sessions. You can view and edit these options with the Options dialog.
To open the Options dialog:
1. On the File menu 
, click the TerraExplorer Options button (F9).
2. Click the tabs and define TerraExplorer options as required:
§ General
§ Graphics
§ View
§ Add-ons
§ Language