Ian Gulliver
|
04ec47e393
|
Rip out all the graphviz stuff
|
2019-07-10 20:34:44 +00:00 |
|
Ian Gulliver
|
01542d67f6
|
Working label as an editor entry type
|
2019-07-10 08:14:53 +00:00 |
|
Ian Gulliver
|
56ff0d1201
|
Add EditorLabel
|
2019-07-10 04:09:54 +00:00 |
|
Ian Gulliver
|
9202ab2001
|
Get initial focus to input for link and gruop
|
2019-07-09 20:44:22 +00:00 |
|
Ian Gulliver
|
15c55d0b8d
|
More compact editor layout using symbols
|
2019-07-09 17:57:35 +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 |
|