Configuring user options
In order to configure the application, the Option Browser might be called or the Options/Setting menu item from the main menu might be selected. Option settings in the application have highest priority and may overwrite options defined in the configuration or ini-file.