Don't hide last symbol under the scrollbar (#11696)
This PR adds an extra scrollbar-wide margin to the right side of the
editor. This prevents hiding the last character under the scrollbar.
Fixes #7098
Release Notes:
- Fixed hiding of the last character under the scrollbar (#7098).
9fdfe5c813Andrew Lygin committed on 5/12/2024, 7:04:20 PM· committed by GitHubparent4446c38