eclipse-platform / eclipse-platform/eclipse.platform

Selection with custom line spacing only pads on the bottom, not the top

Open
#1,396 2 comments 0 reactions 0 assignees View on GitHub
bug
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:
Screenshot 2024-05-28 at 11 08 55

This is the current situation:
Screenshot 2024-05-28 at 11 10 47
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.