Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

Index

Constructors

Properties

openerService: OpenerService
problemManager: ProblemManager

Methods

  • doOpenNode(node: TreeNode): void
  • getOpenerOptionsByMarker(node: MarkerNode): undefined | OpenerOptions
  • removeNode(node: TreeNode): void
  • revealNode(node: TreeNode): void