Preference manager
The preference manager lets you configure your browsing experience. The preference manager have three sections that can be accessed from the main menu
- General - settings that apply to browsing in general.
- Security - settings for cookies, scripting and encryption protocols.
- File types - settings for plugins, downloads and helper application.