/**
 * The rows the docked window draws past its own height, so a line whose
 * wrap was counted short still leaves it full; the pane clips the rest.
 */
export const SCROLL_MARGIN_ROWS = 8