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

Drag spider features #41

Closed

4 tasks done

jvdwetering opened this issue Jun 13, 2023 · 1 comment

Labels

Type: enhancement

Collaborator

jvdwetering commented Jun 13, 2023 •

edited

Loading

We discussed having the following features for dragging based gestures:

Dragging fusable spiders on top of each other should fuse them.
Dragging a one-ary 0/pi spider on a spider of the opposite colour should copy it through.
Dragging a phaseless spider unto a phaseless spider of the opposite colour should bialgebra them.
Sometimes the positioning of the resulting spiders when doing bialgebra/pi copy is a bit odd. We might want to include some better logic for this.

jvdwetering added the Type: enhancement label

jvdwetering added a commit that referenced this issue


          Added drag action for bialgebra and pi copy. See #41

a6d3d1d

jvdwetering mentioned this issue

Things to work on at the QPL2023 hackathon #47

Closed

22 tasks

Collaborator Author

jvdwetering commented Oct 30, 2023

I think the positioning of spiders is fine in most cases now, so I'm closing this issue. We can open a new one if specific placement issues arise.

jvdwetering closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment