Ian Gulliver
|
d52c8206a6
|
Node highlighting
|
2019-07-10 23:19:39 +00:00 |
|
Ian Gulliver
|
703be7aa75
|
Add help
|
2019-07-10 21:32:52 +00:00 |
|
Ian Gulliver
|
04ec47e393
|
Rip out all the graphviz stuff
|
2019-07-10 20:34:44 +00:00 |
|
Ian Gulliver
|
15c55d0b8d
|
More compact editor layout using symbols
|
2019-07-09 17:57:35 +00:00 |
|
Ian Gulliver
|
0f73c595f4
|
Avoid useless layout on blur
|
2019-07-03 18:38:08 +00:00 |
|
Ian Gulliver
|
dcc8981693
|
Refactor checkin: drawing (but not iterating?)
|
2019-07-03 18:27:32 +00:00 |
|
Ian Gulliver
|
b91b92eef3
|
Broken, but checkpoint editor/graph/layout split
|
2019-07-03 18:13:11 +00:00 |
|
Ian Gulliver
|
0daf666fee
|
Redraw graph on all changes
|
2019-07-03 01:51:13 +00:00 |
|
Ian Gulliver
|
5824f516b0
|
Split into file-per-class
|
2019-07-03 01:42:17 +00:00 |
|