Highlight
interface Highlight
Highlights a piece of Text within a StyledTextDocument.
Used as part of a HighlightRange, which can be added to StyledTextDocument.ranges.
Highlights a piece of Text within a StyledTextDocument.
Used as part of a HighlightRange, which can be added to StyledTextDocument.ranges.