Tue, 07 Apr 2020 19:00:01 +0200 GraphNode.Font/Fixed
Tomas Zeman <tomas@functionals.cz> [Tue, 07 Apr 2020 19:00:01 +0200] rev 9
GraphNode.Font/Fixed
Fri, 18 Oct 2019 16:39:09 +0200 DataSet.getIds, ClickEvent
Tomas Zeman <tomas@functionals.cz> [Fri, 18 Oct 2019 16:39:09 +0200] rev 8
DataSet.getIds, ClickEvent
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) -4 +4 +10 tip