Skip to content

rename Highlighted* to Matched*

Warren Gifford requested to merge cc/rename-highlights into main

Created by: camdencheek

In response to @rvantonder 's comment here, this changes the naming from "highlighted", which implies text decoration, to "matched", which does not.

Consolidation of these types with the types in internal/search/result coming soon

Merge request reports