Theia API Documentation v1.65.0
    Preparing search index...
    interface OutputChannelRegistryMain {
        $append(
            channelName: string,
            value: string,
            pluginInfo: PluginInfo,
        ): PromiseLike<void>;
        $clear(channelName: string): PromiseLike<void>;
        $close(channelName: string): PromiseLike<void>;
        $dispose(channelName: string): PromiseLike<void>;
        $reveal(channelName: string, preserveFocus: boolean): PromiseLike<void>;
    }
    Index

    Methods

    • Parameters

      • channelName: string
      • value: string
      • pluginInfo: PluginInfo

      Returns PromiseLike<void>

    • Parameters

      • channelName: string

      Returns PromiseLike<void>

    • Parameters

      • channelName: string

      Returns PromiseLike<void>

    • Parameters

      • channelName: string

      Returns PromiseLike<void>

    • Parameters

      • channelName: string
      • preserveFocus: boolean

      Returns PromiseLike<void>