Wed, 13 May 2020 09:41:38 +0200 Tomas Zeman mill upgrade -> 0.6.3
Fri, 10 Apr 2020 10:41:09 +0200 Tomas Zeman GraphNode: mutable properties.
Tue, 07 Apr 2020 19:00:01 +0200 Tomas Zeman GraphNode.Font/Fixed
Fri, 18 Oct 2019 16:39:09 +0200 Tomas Zeman DataSet.getIds, ClickEvent
(0) -10 -4 +4 +10 tip