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

    Interface BadgeWidget

    interface BadgeWidget {
        badge?: number;
        badgeTooltip?: string;
        onDidChangeBadge: Event<void>;
        onDidChangeBadgeTooltip: Event<void>;
    }

    Implemented by

    Index

    Properties

    badge? badgeTooltip? onDidChangeBadge onDidChangeBadgeTooltip

    Properties

    badge?: number
    badgeTooltip?: string
    onDidChangeBadge: Event<void>
    onDidChangeBadgeTooltip: Event<void>

    Settings

    Member Visibility

    On This Page

    Properties