| /** | |
| * 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 | |
| /** | |
| * 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 | |