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

    References

    SKETCHED_TOOLS_PROVIDER_NAME → SKETCHED_TOOLS_PROVIDER_NAME
    SketchedToolDefinition → SketchedToolDefinition
    SketchedToolParameterDefinition → SketchedToolParameterDefinition
    SketchedToolParameterType → SketchedToolParameterType
    SketchedToolReturnMode → SketchedToolReturnMode
    SketchedToolService → SketchedToolService