src/Tools/Graphview/src/main_panel.scala
2014-05-21 wenzelm 2014-05-21 unused;
2012-12-12 wenzelm 2012-12-12 improved coupling of zoom_box and scale; explicit rescale(1.0) on startup;
2012-12-11 wenzelm 2012-12-11 added explicit zoom box;
2012-12-11 wenzelm 2012-12-11 just one class with parameters;
2012-12-10 wenzelm 2012-12-10 separate instance of class Parameters for each Main_Panel -- avoid global program state; misc tuning;
2012-12-10 wenzelm 2012-12-10 discontinued long names flag -- better done via entity markup, without affecting layout;
2012-10-08 wenzelm 2012-10-08 tuned;
2012-10-08 wenzelm 2012-10-08 use Pretty_Tooltip for Graphview_Panel; tuned signature;
2012-10-08 wenzelm 2012-10-08 more basic tooltips;
2012-09-25 wenzelm 2012-09-25 ML support for generic graph display, with browser and graphview backends (via print modes); reverse graph layout (again), according to the graph orientation provided by ML; simplified scala types -- eliminated unused type parameters; more explicit Model.Info, Model.Graph; renamed isabelle.graphview.Graphview_Frame to isabelle.graphview.Frame in accordance to file name; removed obsolete Graph_XML and Tooltips; tuned graphview command line; more generous JVM resources via GRAPHVIEW_JAVA_OPTIONS;
2012-09-24 Markus Kaiser 2012-09-24 added Graphview tool, based on Isabelle/Scala and Swing/Graphics2D;