(view: GraphView)
| 656 | } |
| 657 | |
| 658 | private zoomSelectionAction(view: GraphView): void { |
| 659 | view.viewSelection(); |
| 660 | view.focusOnSvg(); |
| 661 | } |
| 662 | |
| 663 | private toggleHideDeadAction(view: GraphView): void { |
| 664 | view.state.hideDead = !view.state.hideDead; |
nothing calls this directly
no test coverage detected