Die Einstellungen für den Browser sind in einem neu gestalteten Options-Menü zusammengefasst. Unter "Tools, Options" in der Menüleiste finden Sie jetzt sieben Themengruppen (General, Privacy, Web Features, Extensions, Themes, Fonts&Colors und Connection).
Alle Einstellungen unter einem Dach
Unter dem Menüpunkt Privacy lassen sich mit einem Mausklick unerwünschte Informationen wie etwa Cookie-Einträge löschen.
Diskretion mit einem Mausklick
Darüber hinaus verbesserten die Programmierer die Bookmark-Verwaltung. Über alle weiteren Neuerungen können Sie sich hier informieren.