Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add fuzziness to softwrapping label manager. #218

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

Eddykasp
Copy link
Contributor

Add a property that should be set on Labels and expand the softwrapping label manager to fuzzily check whether the next line could be placed on the current line.
This reduces wasted whitespace.

Add a property that should be set on Labels and expand the softwrapping
label manager to fuzzily check whether the next line could be placed on
the current line.
This reduces wasted whitespace.
@Eddykasp Eddykasp added the enhancement New feature or request label Oct 21, 2024
Copy link
Member

@NiklasRentzCAU NiklasRentzCAU left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

After the requested change, LGTM. Does what it says it does. The only awkward thing that could arise is that texts with a lot of lines could then be consistent in width with only the last line sticking out, but for such labels the property does not make much sense to use anyways.

Comment on lines 40 to 42
/** Amount of line overhang that is permitted in percent of the effevtiveTargetWidth
*
* */
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

leftover comment text?

Correct spelling of fuzziness
Remove superfluous comment
Add check to only execute fuzzy code when it would have an effect
@Eddykasp
Copy link
Contributor Author

PR is now dependent on this PR in ELK: eclipse/elk#1082

@Eddykasp Eddykasp changed the title Add fuzzyness to softwrapping label manager. Add fuzziness to softwrapping label manager. Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants