EXPLORER
- Last UpdatedJan 17, 2024
- 1 minute read
|
Purpose: |
To allow the user to define some settings for Explorers. |
|
Instructions: |
In the Tools menu click Settings then Explorer…. |
|
Options: |
None. |
|
Result: |
The behavior of the Explorers will change according to the settings. |