eclipse-platform / eclipse-platform/eclipse.platform
Selection with custom line spacing only pads on the bottom, not the top
- Dominant language
- Java
- Stars
- 165
- Forks
- 174
- Avg merge
- 2d 8h
- Merged PRs (30d)
- 22
Description
When selecting a custom line spacing (Settings -> General-> Editors -> Text Editors -> Line spacing) and selecting a line in an editor, the selection is only padded to the bottom but not the top. This makes for an awkward feel and does not seem to be expected.
I do not know, whether the behaviour changed anytime before or whether this always was the case.
It would be expected for the line spacing to be equal on top an bottom when having a line highlighted.
This happens on the newest build on Mac.
Screenshots:
This is where the setting is located:
This is the current situation:
I would expect the padding of the line select to be equidistant from the text on top and bottom.
(This might be considered an enhancement, but I do believe this is not intentional in the first place)
Contributor guide
Assessment
This issue has not been assessed yet.