You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I find that if I navigate to a tree and then immediately add or delete an edge, then click Undo, it undoes the edit and also switches back to a previous tree.
The text was updated successfully, but these errors were encountered:
I find that if I navigate to a tree and then immediately add or delete an edge, then click Undo, it undoes the edit and also switches back to a previous tree.
The text was updated successfully, but these errors were encountered: