src/Tools/Graphview/popups.scala
2015-01-28 wenzelm 2015-01-28 clarified module name;
2015-01-19 wenzelm 2015-01-19 more symmetric layout of main panel; misc tuning;
2015-01-08 wenzelm 2015-01-08 tuned;
2015-01-05 wenzelm 2015-01-05 separate module Metrics; maintain static metrics (with font) and visible_graph via layout;
2015-01-04 wenzelm 2015-01-04 clarified static full_graph vs. dynamic visible_graph; tuned;
2015-01-03 wenzelm 2015-01-03 tuned;
2015-01-03 wenzelm 2015-01-03 clarified fit_to_window: floor scale within window bounds;
2015-01-03 wenzelm 2015-01-03 tuned menu items;
2015-01-03 wenzelm 2015-01-03 tuned signature;
2015-01-03 wenzelm 2015-01-03 more formal Graph_Display.Node (with ordering) and Graph_Display.Edge; misc tuning; tuned signature;
2015-01-02 wenzelm 2015-01-02 tuned headers;
2015-01-01 wenzelm 2015-01-01 more dynamic visualizer -- re-use Isabelle/jEdit options; clarified iTextField error: like Isabelle/jEdit search field; tuned signature;
2015-01-01 wenzelm 2015-01-01 tuned signature;
2015-01-01 wenzelm 2015-01-01 tuned whitespace;
2014-12-30 wenzelm 2014-12-30 clarified source location;