Wow, this is beautiful. Of course this is the right solution. I guess, merging it with my old code will provide the missing 'download' functionality, etc.
I planned to get to presheaf some time later this week.
Yeah, I am not very happy with this xypic.js library. It hasn't been worked on for years and has some questionable practices in terms of module management - e.g. deploying on a different URL path requires changing last line in xypic.js.
There is probably a new iteration somewhere else that solves the same problem. I might take a look in couple of weeks, but I know for sure this version can only do about 90% of what your engine can render. I tried to keep everything very simple, mostly as a wireframe, not marrying to the libraries underneath. But hey, it somewhat works.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2017-04-18 10:41 am
no subject
I guess, merging it with my old code will provide the missing 'download' functionality, etc.
I planned to get to presheaf some time later this week.
no subject
There is probably a new iteration somewhere else that solves the same problem. I might take a look in couple of weeks, but I know for sure this version can only do about 90% of what your engine can render. I tried to keep everything very simple, mostly as a wireframe, not marrying to the libraries underneath. But hey, it somewhat works.
no subject