Theia API Documentation v1.65.0
    Preparing search index...
    AnyInputDto:
        | UnknownInputDto
        | TextInputDto
        | TextDiffInputDto
        | TextMergeInputDto
        | NotebookInputDto
        | NotebookDiffInputDto
        | CustomInputDto
        | WebviewInputDto
        | InteractiveEditorInputDto
        | TabInputDto