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;
Mon, 05 Jan 2015 21:47:12 +0100 wenzelm separate module Metrics;
Sun, 04 Jan 2015 14:05:24 +0100 wenzelm clarified static full_graph vs. dynamic visible_graph;
Sat, 03 Jan 2015 22:34:18 +0100 wenzelm tuned;
Sat, 03 Jan 2015 22:04:31 +0100 wenzelm clarified fit_to_window: floor scale within window bounds;
less more (0) -10 -7 tip