File size: 190 Bytes
776286d | 1 2 3 4 5 6 | /**
* 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
|
776286d | 1 2 3 4 5 6 | /**
* 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
|