avoid hardwired colors;
more explicit switch of editor style vs. default style, which is more appropriate for printing (via PDF);

tuned signature;

tuned signature;

clarified module name;

--HG--
rename : src/Tools/Graphview/visualizer.scala => src/Tools/Graphview/graphview.scala

support for off-line graph output, without GUI thread;

separate module Graph_File;