This section describes the settings that you can access through the Tools - Options command in the menu bar. These settings are stored in permanent setting files and will not be lost when you end your session.
Setting Options