The options dialog allows you to configure certain aspects of WITNESS Miner. Options are stored in the registry and restored each time you run WITNESS Miner; they apply to each user, not to each project.
Options are broken down in the following categories:
General Options, which
configure global settings and parameters.
Report Options,
which configure the style of WITNESS Miner's reports.
View Options,
which configure the way WITNESS Miner is displayed.
Workspace Options, which configure the main project workspace.