Ian Gulliver
|
ea5e3cb7e1
|
Make nodes selectable from the grid
|
2019-07-11 05:12:08 +00:00 |
|
Ian Gulliver
|
057856a2d2
|
Auto-populate groups based on highlighted entries
|
2019-07-11 04:25:06 +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
|
56ff0d1201
|
Add EditorLabel
|
2019-07-10 04:09:54 +00:00 |
|
Ian Gulliver
|
b91b92eef3
|
Broken, but checkpoint editor/graph/layout split
|
2019-07-03 18:13:11 +00:00 |
|
Ian Gulliver
|
5824f516b0
|
Split into file-per-class
|
2019-07-03 01:42:17 +00:00 |
|