(view: GraphView)
| 606 | |
| 607 | // Actions (handlers of toolbox menu and hotkeys events) |
| 608 | private layoutAction(view: GraphView): void { |
| 609 | view.updateGraphStateType(GraphStateType.NeedToFullRebuild); |
| 610 | view.layoutGraph(); |
| 611 | view.updateGraphVisibility(); |
| 612 | view.viewWholeGraph(); |
| 613 | view.focusOnSvg(); |
| 614 | } |
| 615 | |
| 616 | private showAllAction(view: GraphView): void { |
| 617 | for (const node of view.graph.nodes()) { |
no test coverage detected