Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface MarkerInfoNode

Hierarchy

  • UriSelection
  • SelectableTreeNode
  • ExpandableTreeNode
    • MarkerInfoNode

Index

Properties

Properties

numberOfMarkers

numberOfMarkers: number

parent

parent: MarkerRootNode

Optional severity

severity?: DiagnosticSeverity