nicht angemeldet
Nachtrag:
Wenn du nach javascript highlight oder javascript search highlight suchst, findest du weitere Scripte. Die meisten arbeiten mit innerHTML, parsen also das HTML mit regulären Ausdrücken und schmieren darin herum. Bei meiner Lösung werden lediglich Textknoten durchlaufen und geändert, es ist also eine reine DOM-Lösung. Außerdem war mein Ziel, alle hinreichend fähigen Browser zu unterstützen. Möglicherweise gibt es eine einfachere, performantere Lösung speziell für den IE. Eine angepasste Lösung wollte ich für Browser schreiben, die DOM Traversal / TreeWalker unterstützen (highlighter2.js), aber dabei war kein signifikanter Performancegewinn zu beobachten.