( diff: Diff, stylePool: StylePool, currentId: number, targetId: number, )
| 480 | } |
| 481 | |
| 482 | function transitionStyle( |
| 483 | diff: Diff, |
| 484 | stylePool: StylePool, |
| 485 | currentId: number, |
| 486 | targetId: number, |
| 487 | ): number { |
| 488 | const str = stylePool.transition(currentId, targetId) |
| 489 | if (str.length > 0) { |
| 490 | diff.push({ type: 'styleStr', str }) |
| 491 | } |
| 492 | return targetId |
| 493 | } |
| 494 | |
| 495 | function readLine(screen: Screen, y: number): string { |
| 496 | let line = '' |
no test coverage detected