linesPushedSinceScreenClear property

int get linesPushedSinceScreenClear

Lines that scrolled into this buffer after the last screen clear, which is how a clear-and-reprint tells itself apart from a clear that stays.

Implementation

int get linesPushedSinceScreenClear =>
    lines.pushCount - _pushCountAtScreenClear;