(wrote: boolean)
| 218 | private themeRefreshTimeouts: NodeJS.Timeout[] = [] |
| 219 | |
| 220 | private createScrollback(wrote: boolean): RunScrollbackStream { |
| 221 | return new RunScrollbackStream(this.renderer, this.theme(), { |
| 222 | diffStyle: this.options.diffStyle, |
| 223 | wrote, |
| 224 | sessionID: this.options.sessionID, |
| 225 | treeSitterClient: this.options.treeSitterClient, |
| 226 | onThemeRelease: (theme) => { |
| 227 | void this.renderer |
| 228 | .idle() |
| 229 | .catch(() => {}) |
| 230 | .finally(() => this.destroyTheme(theme)) |
| 231 | }, |
| 232 | }) |
| 233 | } |
| 234 | |
| 235 | constructor( |
| 236 | private renderer: CliRenderer, |
no test coverage detected