Hallo,
if (window.opera)...
reicht vollkommen - denn dieses Objekt kennt nur Opera (solange es nicht in einem anderen Browser eingebaut wird).
Fragt sich nur, ob kommende Versionen das auch noch kennen.
Der User-Agent kann aber (wieder mal) zu Fehlerkennungen führen, denn der kann benutzerdefinierbar sein - wenn dann ein Benutzer seinen Browser als Opera ausgibt, ohne wirklich einen zu haben, könnte das problematisch werden.
Nun, die einstellbaren "Standard-Fake-User-Agents" von Opera enthalten eben alle die Zeichenkette "Opera" und wer einen anderen Browser als Opera ausgibt, ist selbst schuld.
Außerdem habe ich eine ODER-Verknuepfung gewaehlt ...
Davon abgesehen halte von diesen Abfragen eher wenig, außer wenn man Opera bis 6.0x von DOM-Aktionen fernhalten moechte.
MfG, Thomas