src/Tools/Graphview/popups.scala
Wed, 28 Jan 2015 19:15:13 +0100 wenzelm clarified module name;
Mon, 19 Jan 2015 20:31:53 +0100 wenzelm more symmetric layout of main panel;
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned;
less more (0) -10 -3 tip