Wed, 22 Mar 2023 15:06:51 +0100 Tomas Zeman GraphEdge: color, width, dashes
Wed, 22 Mar 2023 14:34:51 +0100 Tomas Zeman DataSet.remove()
(0) -10 -2 +2 tip