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
Currently, if you have two theories with arrows in both directions between them (e.g. two views in the case of an isomorphism) the arrows overlap like this:
The best you can achieve by dragging is something like this:
In such a situation the arrows should bend much more and also when the nodes are horizontally/vertically aligned.
The text was updated successfully, but these errors were encountered:
Currently, if you have two theories with arrows in both directions between them (e.g. two views in the case of an isomorphism) the arrows overlap like this:
The best you can achieve by dragging is something like this:
In such a situation the arrows should bend much more and also when the nodes are horizontally/vertically aligned.
The text was updated successfully, but these errors were encountered: