Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface BadgeWidget

Hierarchy

  • BadgeWidget

Index

Properties

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