Theia API Documentation v1.65.0
    Preparing search index...

    A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.

    Index

    Constructors

    Properties

    Constructors

    Properties

    The highlight kind, default is text.

    range: Range

    The range this highlight applies to.