StyledTextDocument

class StyledTextDocument(initialText: String) : TextDocument

Constructors

Link copied to clipboard
constructor(initialText: String)

Properties

Link copied to clipboard

The highlighted ranges. This is publicly mutable, which means you can add/remove highlights without going through the history mechanism. (e.g. to add highlights text which matches a search).