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.

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

Displaying arrows in both directions #56

Open
rappatoni opened this issue Nov 20, 2018 · 1 comment
Open

Displaying arrows in both directions #56

rappatoni opened this issue Nov 20, 2018 · 1 comment
Assignees

Comments

@rappatoni
Copy link

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:

tgviewbiarrow

The best you can achieve by dragging is something like this:
tgviewbiarrow2

In such a situation the arrows should bend much more and also when the nodes are horizontally/vertically aligned.

@kohlhase
Copy link
Member

I suppor this very much.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants