widgets/grep_text library

Classes

GrepText

A text widget that uses a RichText with TextSpans to highlight parts of text based on searchTerm. The highlighted text will use the style highlightStyle, everything else will use textStyle.