()
| 687 | } |
| 688 | |
| 689 | private hideDead(): void { |
| 690 | for (const node of this.graph.nodes()) { |
| 691 | if (!node.isLive()) { |
| 692 | node.visible = false; |
| 693 | this.state.selection.select([node], false); |
| 694 | } |
| 695 | } |
| 696 | this.updateGraphVisibility(); |
| 697 | } |
| 698 | |
| 699 | private showDead(): void { |
| 700 | for (const node of this.graph.nodes()) { |
no test coverage detected