Feature proposal:
an optional margin at the bottom of the text area. It doesn’t allow the caret to descend all the way down.
I marked the proposed margin blue on this screenshot:
Feature proposal:
an optional margin at the bottom of the text area. It doesn’t allow the caret to descend all the way down.
I marked the proposed margin blue on this screenshot:
Is this not already possible with:
"scroll_past_end": true,
// Set the number of context lines to show when scrolling to reveal. This
// affects all selection changes, like selection dragging, page-up/page-down
// and moving the caret.
"scroll_context_lines": 6,
or am I misunderstanding?