Skip to content

add fuzziness to edge labels#126

Merged
a-sr merged 1 commit intomasterfrom
mka/label-shortening-fuzziness
Sep 30, 2025
Merged

add fuzziness to edge labels#126
a-sr merged 1 commit intomasterfrom
mka/label-shortening-fuzziness

Conversation

@Eddykasp
Copy link
Member

@Eddykasp Eddykasp commented Nov 8, 2024

Sets the wrapping fuzziness to reasonable default value in the label shortening hook.

This could also be configurable via a synthesis option but it doesn't seem that helpful for regular users.

depends on:

requires KLighD 3.1.0

@Eddykasp Eddykasp added the enhancement New feature or request label Nov 8, 2024
@Eddykasp Eddykasp marked this pull request as ready for review May 8, 2025 12:39
Copy link
Member

@a-sr a-sr left a comment

Choose a reason for hiding this comment

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

LGTM

@a-sr a-sr merged commit 919a2e6 into master Sep 30, 2025
2 of 3 checks passed
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