Thu, 14 Feb 2008 19:28:41 +0100 | David Douard | some general GUI improvements & code cleanups | changeset | files |
Thu, 14 Feb 2008 19:28:10 +0100 | David Douard | make plotter really repaint itsefl when some property of the plot is changed | changeset | files |