Theia API Documentation v1.74.0
    Preparing search index...
    interface ChatBannerProvider {
        onDidChange?: Event<void>;
        priority?: number;
        renderBanner(): ReactNode;
    }

    Implemented by

    Index

    Properties

    onDidChange?: Event<void>

    Fired when the banner content (or visibility) may have changed.

    priority?: number

    Optional priority for rendering order. Higher values render first. Default: 0.

    Methods