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.

Sign up for GitHub

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

Jump to bottom

MC: Re-rendering the input net after closing the right panel #105

Open
mgieseking opened this issue Jan 4, 2021 · 1 comment
Open

MC: Re-rendering the input net after closing the right panel #105

mgieseking opened this issue Jan 4, 2021 · 1 comment
Assignees
@annyanich
Labels
bug Something isn't working review-3

Comments

@mgieseking
Copy link
Member

When closing the right panel, the Petri net with transits in the left one is still covered. Maybe we only have trigger the re-rendering process.
@mgieseking mgieseking added review-3 bug Something isn't working labels Jan 4, 2021
@annyanich
Copy link
Collaborator

Unfortunately I have not been able to reproduce this one yet. I will see if I can find some more time to look at it the coming days. If not, I guess that's just the way it is 🤷‍♀️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@annyanich annyanich

Labels
bug Something isn't working review-3
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mgieseking @annyanich