Wenn ich das richtig sehe, machst Du bis auf zwei Dinge das gleiche wie ich:
1) Du bringst den Highlighter im DocumentModel unter, während ich ein vorgefertigtes DocumentModel nehme und dann von außen eingreife, sobald sich die Array-Liste der regulären Ausdrücke geändert hat. Das mache ich deshalb so, weil sich der Text selbst nicht ändern kann, sondern nur die Suchwörter. Ich schätze, es würde keinen Sinn machen, das in meinem Fall im DocumentModel unterzubringen, oder?
2) Du bringst das ganze in einem neuen Thread unter, während ich das einfach so als Methode abarbeite. Geschwindigkeitstechnisch ist das kein Problem bei mir, aber ich werde auch mal versuchen, das in einen anderen Thread auszulagern; vielleicht geht dieser komische Fehler dann ja weg.
Falls Du weitere Ideen hast, bitte melden! Danke!
Edit: In einem neuen Thread läuft es jetzt, aber das Problem ist nach wie vor da. Abgesehen davon laufe ich eher Gefahr, dass sich während der Thread-Ausführung irgendwas ändert und es dadurch zu Problemen kommt. Ich mache es also wieder rückgängig.