TreeViewer Element markieren

MrMilk

Grünschnabel
Hallo,

ich habe folgendes Problem:

Ich habe einen TreeViewer, der die Struktur eines XML-Dokumentes darstellt. Dies geschieht mittels einer von JDOM abgeleiteten eigenen Struktur im ViewContentProvider.
Zusätzlich habe ich ein Suchfeld, welches die Suche nach bestimmten Elementnamen ermöglicht. Die zugehörige Suchmethode liefert mir einen Array von Element zurück, die zu dem Suchbegriff passen. Nun möchte ich diese gefundenen Elemente im TreeViewer markieren (also selektieren). Und später soll mit F3 zum nächsten gefundenen Element weitergesprungen werden... aber das ist erst mal nicht so wichtig.

Wie kann ich diese gefundenen Elemente selektieren lassen? Ich meine, ich könnte mir zwar vom TreeViewer den zugehörigen Tree holen und dessen Items durchgehen, aber das wäre ja dann quasi eine "Suche in der Suche". Da muss es doch einen einfacheren Weg geben, wahrscheinlich igendwie über den ViewContentProvider, oder nicht? Hab in der API-Doku nichts passendes gefunden...

Gruß
MrMilk
 
Zurück