Itamar 5f2a0f03a6 LibGUI: Add search API to TextEditor with highlighted results ...

This adds a search API to TextEditor.

The API that is similar to "find_text" of TextDocument (which is used
internally to do the search).

All search results (as well as the current one) are highlighted with
a "span collection", which is pretty neat :^)

2022-03-29 17:45:36 +02:00

74 KiB

Raw Blame History

View Raw