Tue, 08 Oct 2019 13:26:13 +0200 GraphEdge.title parameter
Tomas Zeman <tomas@functionals.cz> [Tue, 08 Oct 2019 13:26:13 +0200] rev 7
GraphEdge.title parameter
Tue, 08 Oct 2019 11:13:04 +0200 GraphNode.widthConstraint parameter
Tomas Zeman <tomas@functionals.cz> [Tue, 08 Oct 2019 11:13:04 +0200] rev 6
GraphNode.widthConstraint parameter
(0) -2 +2 +10 tip