src/Tools/Graphview/main_panel.scala
2015-01-28 wenzelm 2015-01-28 clarified module name;
2015-01-19 wenzelm 2015-01-19 always swap panels, which leads to slightly better GUI layout;
2015-01-19 wenzelm 2015-01-19 more symmetric layout of main panel; misc tuning;
2015-01-19 wenzelm 2015-01-19 proper tooltips -- override action toolTip which is empty here;
2015-01-18 wenzelm 2015-01-18 suppress some controls that don't work yet;
2015-01-18 wenzelm 2015-01-18 proper scrolling wrt. transform; tuned signature;
2015-01-18 wenzelm 2015-01-18 clarified main actions and keyboard focus;
2015-01-18 wenzelm 2015-01-18 tuned signature;
2015-01-18 wenzelm 2015-01-18 option graphview_swap_panels;
2015-01-18 wenzelm 2015-01-18 support for tree view on graph nodes; misc tuning;
2015-01-17 wenzelm 2015-01-17 more explicit Layout.Info: size and content; allow multi-line vertex label, based on content; misc tuning;
2015-01-06 wenzelm 2015-01-06 explict layout graph structure, with dummies and coordinates; explicit metrics for dummy box; tuned signature; misc tuning;
2015-01-05 wenzelm 2015-01-05 clarified visualizer parameters; do not show dummies by default;
2015-01-05 wenzelm 2015-01-05 tuned imports;
2015-01-03 wenzelm 2015-01-03 clarified fit_to_window: floor scale within window bounds;
2015-01-03 wenzelm 2015-01-03 tuned;
2015-01-03 wenzelm 2015-01-03 clarified bounding box, similar to old graph browser; default font like old browser; clarified metrics; tuned signature;
2015-01-02 wenzelm 2015-01-02 tuned headers;
2015-01-01 wenzelm 2015-01-01 tuned signature;
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 more standard GUI layout;
2015-01-01 wenzelm 2015-01-01 tuned imports;
2015-01-01 wenzelm 2015-01-01 tuned signature;
2014-12-30 wenzelm 2014-12-30 clarified source location;