()
| 697 | } |
| 698 | |
| 699 | private showDead(): void { |
| 700 | for (const node of this.graph.nodes()) { |
| 701 | if (!node.isLive()) { |
| 702 | node.visible = true; |
| 703 | } |
| 704 | } |
| 705 | this.updateGraphVisibility(); |
| 706 | } |
| 707 | |
| 708 | // Hotkeys handlers |
| 709 | private selectAllNodes(): void { |
no test coverage detected