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

    Constructors

    Properties

    channel: OutputChannel
    outputChannelManager: OutputChannelManager
    outputContribution: OutputContribution
    OUTPUT_CHANNEL_NAME: string = 'hosted-instance-log'

    Methods