Andrew Lygin 9fdfe5c813 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).

2024-05-12 22:04:20 +03:00

..

src

Don't hide last symbol under the scrollbar (#11696)

2024-05-12 22:04:20 +03:00

Cargo.toml

Extract http from util (#11680)

2024-05-10 15:50:20 -06:00

LICENSE-GPL

chore: Change AGPL-licensed crates to GPL (except for collab) (#4231)

2024-01-24 00:26:58 +01:00