245 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
varkor	be476d518a	Remove experimentation file	2020-09-18 19:28:22 +01:00
varkor	d7e7448926	Use the new arrow library for the buttons	2020-09-18 19:27:08 +01:00
varkor	ef09c10766	Add arrow colours	2020-09-18 19:27:08 +01:00
varkor	64968bf095	Deal with zero-length arrows	2020-09-18 19:27:08 +01:00
varkor	8b8ce04e13	Prevent hover effect whilst dragging	2020-09-18 19:27:08 +01:00
varkor	68a7c9a20b	Refactor arrow rendering code	2020-09-18 19:27:08 +01:00
varkor	2810705704	Remove reliance on ui in export	2020-09-18 19:27:08 +01:00
varkor	0dd00859f3	Remove redundant code	2020-09-18 19:27:08 +01:00
varkor	6cc89321e6	Fix rendering issue with harpoons and hooks with squiggly edges	2020-09-18 19:27:08 +01:00
varkor	1217d323e2	Refactor non-UI code	2020-09-18 19:27:08 +01:00
varkor	92338d12fd	Fix edge hover issue	2020-09-18 19:27:08 +01:00
varkor	a6d32bd2ac	Stop special-casing Offset	2020-09-18 19:27:08 +01:00
varkor	48ac49469c	Improve new arrow handling	2020-09-18 19:27:08 +01:00
varkor	7f730a1e63	Credit contributors	2020-09-18 19:27:08 +01:00
varkor	89ec1770f0	Fix rogue graphical glitch	2020-09-18 19:27:08 +01:00
varkor	3ef452f30d	Handle self-intersection	2020-09-18 19:27:08 +01:00
varkor	3d6b775e20	Improve small arrow handling	2020-09-18 19:27:08 +01:00
varkor	564f96e991	Improve handling of arrows for small sizes	2020-09-18 19:27:08 +01:00
varkor	8b5ee055d6	Fix typing issue	2020-09-18 19:27:08 +01:00
varkor	724ec2040f	Clip head, tail, and bar	2020-09-18 19:27:08 +01:00
varkor	73c03e8c71	Fix orientation issue	2020-09-18 19:27:08 +01:00
varkor	2b2a9f8199	Fix long label handling for some orientations	2020-09-18 19:27:08 +01:00
varkor	7b27977f6e	Fix squiggly arrows	2020-09-18 19:27:08 +01:00
varkor	2091653f23	Improve overflow for squiggly curves	2020-09-18 19:27:08 +01:00
varkor	65ff7ce33d	Fix issue with dashes	2020-09-18 19:27:08 +01:00
varkor	c7506e9fe6	Fix size issue	2020-09-18 19:27:08 +01:00
varkor	0531396f6a	Fix opacity issue	2020-09-18 19:27:08 +01:00
varkor	0b9c26b9e7	Fix issue with dragging endpoints	2020-09-18 19:27:08 +01:00
varkor	8a6b599122	Fix offset issue	2020-09-18 19:27:08 +01:00
varkor	e9a513a841	Fix label rendering for edges	2020-09-18 19:27:08 +01:00
varkor	5d9d72cd3f	Fix styling changes	2020-09-18 19:27:08 +01:00
varkor	c7b3db1fcd	Fix hover target	2020-09-18 19:27:08 +01:00
varkor	7311349fc2	Load previous diagram levels	2020-09-18 19:27:08 +01:00
varkor	070639c1da	Do some refactoring	2020-09-18 19:27:08 +01:00
varkor	ea51700df0	Do some refactoring of coordinates	2020-09-18 19:27:08 +01:00
varkor	843c58f818	Fix OVER style	2020-09-18 19:27:08 +01:00
varkor	f6cf3181d7	Fix z-index issue	2020-09-18 19:27:08 +01:00
varkor	462c8dbe68	Fix scaling bug in Firefox	2020-09-18 19:27:08 +01:00
varkor	71fc8f67c3	Remove dead code associated with old edges	2020-09-18 19:26:53 +01:00
varkor	dd5e927d82	Fix shifting with new arrows	2020-09-18 19:26:53 +01:00
varkor	0f645c741f	Fix issue with selecting level	2020-09-18 19:26:53 +01:00
varkor	d51f114488	Fix issue with z-index of endpoint handles	2020-09-18 19:26:53 +01:00
varkor	1e2e0da24e	Add note about possible hack	2020-09-18 19:26:53 +01:00
varkor	14bd2f71de	Add warning messages for all incompatibilities	2020-09-18 19:26:53 +01:00
varkor	9915ff3e5c	Add a warning for incompatibilities with tikz-cd	2020-09-18 19:26:53 +01:00
varkor	38347a7ed9	Output 2-cells to tikz-cd	2020-09-18 19:26:53 +01:00
varkor	82b1f9bdf6	Export curves to tikz-cd	2020-09-18 19:26:53 +01:00
varkor	a657bd37da	Fix arrow background clipping issue	2020-09-18 19:26:53 +01:00
varkor	d5a9388411	Start to get the new arrows working	2020-09-18 19:26:53 +01:00
varkor	277a1e6dfe	Fix direction of pullback corner	2020-09-18 19:26:53 +01:00