(localTimerIndex: number)
| 131 | } |
| 132 | |
| 133 | private start(localTimerIndex: number) { |
| 134 | d3.timer(() => { |
| 135 | if (localTimerIndex < this.timerIndex) { |
| 136 | return true; // Done. |
| 137 | } |
| 138 | oneStep(); |
| 139 | return false; // Not done. |
| 140 | }, 0); |
| 141 | } |
| 142 | } |
| 143 | |
| 144 | let state = State.deserializeState(); |