[Javascript]Auswahl in einem Textfeld ermitteln und ersetzen

[Balthi]

Hallo Siechfried!

Das hat soweit ganz gut funktioniert, nur nicht im Opera.
Dort greift man auf die Auswahl ja mit document.getSelection() zu, die liefert aber immer nur einen leeren String. Woran könnte das liegen?