Hallo,
ich würde zur Erkennung von Opera folgende Abfrage verwenden:
if (navigator.userAgent.indexOf("Opera")!==-1) op=1
Diese Abfrage hängt nicht von der Einstellung im Opera ab. Nicht ganz die Antwort auf deine Frage, evt. hilft es dir aber trotzdem weiter.
Gruss Henry