Clicking undo after editing a dependency switches to a different tree

jonorthwash / ud-annotatrix

GNU General Public License v3.0

59 stars 49 forks source link

Clicking undo after editing a dependency switches to a different tree #476

Open nschneid opened 2 years ago

nschneid commented 2 years ago

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.

nschneid commented 2 years ago

Related: #171