Feintuning bei Opera

Opera hat auf seinem Server die neue Version 7.11 seiner Browser-Suite bereitgestellt. Das Release bringt keine wesentliche neuen Funktionen mit sich, sondern behebt vielmehr etliche kleine Macken. So bügelt es einen Fehler aus, durch den Opera mittels einer falsch formatieren URL dauerhaft abgeschossen werden kann. Das Problem lässt sich, ist das Problem einmal aufgetreten, bei der bisherigen Opera-Version 7.10 nur durch Neuinstallation des Browsers beheben. Zu den weiteren Neuerungen zählt auch, dass sich jetzt sämtliche Teile der Programmoberfläche lokalisieren lassen. Weitere Details zu den Änderungen enthält wie immer das Changelog. (jo)