Theia API Documentation v1.65.0
    Preparing search index...
    interface ParameterInformation {
        documentation?: string | MarkdownString;
        label: string | [number, number];
    }
    Index

    Properties

    documentation?: string | MarkdownString
    label: string | [number, number]