Heute habe ich den Webbrowser Opera auf die Version 9.50 aktualisiert (vorher: 9.27). Seitdem kann ich nicht mehr im Editor schreiben, sondern muss vielmehr zu "Quellcode" wechseln. Das ist im Grunde nicht weiter tragisch, allerdings muss ich halt immer zu "Quellcode" wechseln. In meinem Profil habe ich keine Einstellung gefunden, um möglicherweise einen anderen Editor zu verwenden.
Ist das ein bekanntes Problem? Wie kann ich es beheben?