Rows scrolled back from the tail; 0 means pinned to the newest line. The header's "-N" marker.
| 85 | // Rows scrolled back from the tail; 0 means pinned to the newest line. The |
| 86 | // header's "-N" marker. |
| 87 | int scrollBack(void) const { return mScrollBack; } |
| 88 | |
| 89 | // Recomputes the visible window and refreshes rows() if the content or the |
| 90 | // window moved. Cheap to call every frame: at 60 fps a chatty script would |