(frame: Frame)
| 818 | } |
| 819 | |
| 820 | export function canRepaintFromPreviousOutputTop(frame: Frame): boolean { |
| 821 | return ( |
| 822 | frame.viewport.height > 0 && |
| 823 | frame.screen.height < frame.viewport.height && |
| 824 | frame.cursor.y < frame.viewport.height |
| 825 | ) |
| 826 | } |
| 827 | |
| 828 | function canStayIncrementalAcrossHeightShrink( |
| 829 | prev: Frame, |