Neue Infos über Opera 7.1

31.03.2003

Laut opera.perm.ru, einer russischen Opera-Seite, wird Opera 7.1 folgende Neuerungen enthalten:

---

• Editor für Tastaturkürzel
• Mausgesten-Editor
• konfigurierbare Symbolleisten und Menüs
• Cookie-Manager
• Passort-Manager
• Skin-Manager
• eine neues Einstellungs-Menü
• viele Verbesserungen in Code und HTML-Engine

Links:

• OPERA browser in Perm (russisch)