Theia API Documentation v1.65.0
    Preparing search index...
    interface MarkerData {
        code?: string;
        endColumn: number;
        endLineNumber: number;
        message: string;
        relatedInformation?: RelatedInformation[];
        severity: MarkerSeverity;
        source?: string;
        startColumn: number;
        startLineNumber: number;
        tags?: MarkerTag[];
    }
    Index

    Properties

    code?: string
    endColumn: number
    endLineNumber: number
    message: string
    relatedInformation?: RelatedInformation[]
    severity: MarkerSeverity
    source?: string
    startColumn: number
    startLineNumber: number
    tags?: MarkerTag[]