(identifier: string)
| 72 | } |
| 73 | |
| 74 | public makeNodeVisible(identifier: string): void { |
| 75 | if (this.nodeMap[identifier]) this.nodeMap[identifier].visible = true; |
| 76 | } |
| 77 | |
| 78 | public makeEdgesVisible(): void { |
| 79 | if (this.graphPhase.stateType == GraphStateType.NeedToFullRebuild) { |