5 Commits

Author	SHA1	Message	Date
Ian Gulliver	591d4814a7	Expand lines on highlight, fix EditorLabel highlight attempt	2019-07-10 23:51:14 +00:00
Ian Gulliver	a68471d1da	Draw directional arrows	2019-07-09 04:19:09 +00:00
Ian Gulliver	db86cb83d5	Switch to CSS variables for line color	2019-07-04 05:46:00 +00:00
Ian Gulliver	353a209ea1	Fix addLine()	2019-07-04 04:40:46 +00:00
Ian Gulliver	275c64c00b	Add SVG-based line drawing	2019-07-02 07:05:22 +00:00