User interface
29
Save button will save configuration changes immediately. Normally this automatically happens
upon exiting the software. However, in case of unexpected exit from the software (crash,
unexpected PC shutdown, etc.), saving will not occur. Thus it makes sense to manually save
changes done to the configuration before a long-term operation (such as analysis itself),
whenever exit from the software is not planned to be shortly after.
Right-clicking on a setting (or within setting window) will display a popup menu.
Fig.
: Settings popup menu.
Reset currently selected setting into default value
Show categories when checked, hide otherwise
Show description pane when checked, hide otherwise
*)
Only shown when categories are shown
Hiding categories can be handy option when searching for a setting by its name. In such cases
all settings are alphabetically sorted, which may make finding easier.