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

    Constructors

    Properties

    onDidChangeProblemMatcherEmitter: Emitter<void> = ...
    problemPatternRegistry: ProblemPatternRegistry

    Accessors

    Methods