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 Resizable with 'resizeLocations' to shape elements #231

Merged
merged 1 commit into from
May 27, 2024

Conversation

martin-fleck-at
Copy link
Contributor

What it does

  • Use string for GResizeLocation
  • Fix issue with issue severity not being of type string

How to test

Follow-ups

Changelog

  • This PR should be mentioned in the changelog
  • This PR introduces a breaking change (if yes, provide more details below for the changelog and the migration guide)

@martin-fleck-at martin-fleck-at requested a review from tortmayr May 27, 2024 13:30
- Use string for GResizeLocation
- Fix issue with issue severity not being of type string
- Fix minor issue with wrong EClass mapping for weighted edge
Copy link
Contributor

@tortmayr tortmayr left a comment

Choose a reason for hiding this comment

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

Looks good to me an works like a charm. Thanks!

@tortmayr tortmayr merged commit 2c110b6 into master May 27, 2024
6 checks passed
MatthiasHofstaetter pushed a commit to MatthiasHofstaetter/glsp-server that referenced this pull request Dec 16, 2024
)

- Use string for GResizeLocation
- Fix issue with issue severity not being of type string
- Fix minor issue with wrong EClass mapping for weighted edge
MatthiasHofstaetter pushed a commit to MatthiasHofstaetter/glsp-server that referenced this pull request Dec 21, 2024
)

- Use string for GResizeLocation
- Fix issue with issue severity not being of type string
- Fix minor issue with wrong EClass mapping for weighted edge
MatthiasHofstaetter pushed a commit to MatthiasHofstaetter/glsp-server that referenced this pull request Dec 21, 2024
)

- Use string for GResizeLocation
- Fix issue with issue severity not being of type string
- Fix minor issue with wrong EClass mapping for weighted edge
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants