Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface MarkerInfoNode

Hierarchy

  • UriSelection
  • SelectableTreeNode
  • ExpandableTreeNode
    • MarkerInfoNode

Index

Properties

numberOfMarkers: number
severity?: DiagnosticSeverity