Skip to content

Fix node not growing with label#84

Merged
Kr0nox merged 1 commit intomainfrom
fix/name-update
Mar 13, 2026
Merged

Fix node not growing with label#84
Kr0nox merged 1 commit intomainfrom
fix/name-update

Conversation

@Kr0nox
Copy link
Copy Markdown
Contributor

@Kr0nox Kr0nox commented Mar 3, 2026

Fixes the node not growing when the label was updated

Copy link
Copy Markdown
Collaborator

@01Parzival10 01Parzival10 left a comment

Choose a reason for hiding this comment

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

This leaves the Pins on the previous x-coordinate.
We should discuss whether we can/want to change that

@01Parzival10 01Parzival10 self-requested a review March 10, 2026 12:49
Copy link
Copy Markdown
Collaborator

@01Parzival10 01Parzival10 left a comment

Choose a reason for hiding this comment

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

LGTM

@Kr0nox Kr0nox merged commit ee6e5df into main Mar 13, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants