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>;
    }

    Implemented by

    Index

    Methods