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

automaton.load() should perform re-render and history-drop #10

Closed
0b5vr opened this issue Sep 26, 2018 · 1 comment
Closed

automaton.load() should perform re-render and history-drop #10

0b5vr opened this issue Sep 26, 2018 · 1 comment
Labels
category: 🐛 Bug This is the issue! priority: 2-moderate It would make us happy

Comments

@0b5vr
Copy link
Owner

0b5vr commented Sep 26, 2018

No description provided.

@0b5vr 0b5vr added priority: 2-moderate It would make us happy category: 🐛 Bug This is the issue! easy I think it's very easy to deal with labels Sep 26, 2018
@0b5vr
Copy link
Owner Author

0b5vr commented Sep 26, 2018

also:
image

help

@0b5vr 0b5vr removed the easy I think it's very easy to deal with label Sep 26, 2018
@0b5vr 0b5vr closed this as completed in d72a867 Sep 27, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
category: 🐛 Bug This is the issue! priority: 2-moderate It would make us happy
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@0b5vr