()
| 43 | } |
| 44 | |
| 45 | private refresh() { |
| 46 | const elapsed = this.startTime === null ? '0s' : formatElapsed(this.startTime); |
| 47 | this.statsText.setText( |
| 48 | `${theme.success(`✓ ${this.correct} correct`)} ${theme.error( |
| 49 | `✗ ${this.incorrect} incorrect`, |
| 50 | )} ${theme.muted(`⏱ ${elapsed}`)}`, |
| 51 | ); |
| 52 | } |
| 53 | |
| 54 | private ensureTimer() { |
| 55 | if (this.timer) { |
no test coverage detected