(summary: string, duration: number)
| 114 | } |
| 115 | |
| 116 | setComplete(summary: string, duration: number) { |
| 117 | this.clearDetail(); |
| 118 | this.header.setText(`${theme.primary(CIRCLE)} ${this.toolTitle}`); |
| 119 | const detail = new Text( |
| 120 | `${theme.muted('⎿ ')}${summary}${theme.muted(` in ${formatDuration(duration)}`)}`, |
| 121 | 0, |
| 122 | 0 |
| 123 | ); |
| 124 | this.completedDetails.push(detail); |
| 125 | this.addChild(detail); |
| 126 | } |
| 127 | |
| 128 | setError(error: string) { |
| 129 | this.clearDetail(); |
nothing calls this directly
no test coverage detected