(footer: FooterApi, text: string)
| 153 | } |
| 154 | |
| 155 | function note(footer: FooterApi, text: string): void { |
| 156 | footer.append({ |
| 157 | kind: "system", |
| 158 | text, |
| 159 | phase: "start", |
| 160 | source: "system", |
| 161 | }) |
| 162 | } |
| 163 | |
| 164 | function clearSubagent(footer: FooterApi): void { |
| 165 | footer.event({ |