Interface BadgeWidget

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

Properties

badge? badgeTooltip? onDidChangeBadge onDidChangeBadgeTooltip

Properties

Optional badge

badge?: number

Optional badgeTooltip

badgeTooltip?: string

onDidChangeBadge

onDidChangeBadge: Event<void>

onDidChangeBadgeTooltip

onDidChangeBadgeTooltip: Event<void>

Settings

Member Visibility

Theme

On This Page

badgebadgeTooltiponDidChangeBadgeonDidChangeBadgeTooltip