It would be useful if user can unhighlight individual objects respectively highlight further objects in the structure browser after a browser search was executed.
In some cases, inversion of highlighted objects would also be useful.
German:
Es wäre praktisch, wenn man einzelne Objekte, die durch eine Browsersuche im Strukturbrowser hervorgehoben wurden, wieder abwählen könnte beziehungsweise zusätzliche auswählen könnte.
In manchen Fällen wäre auch eine Umkehr der HJervorhebung nützlich.
