src/Tools/Graphview/layout.scala
16 months ago Lars Hupel 2018-02-11 use preferred resolver according to DOI Handbook ยง3.8
2015-01-26 wenzelm 2015-01-26 complete pattern coverage, e.g. relevant for singleton graph;
2015-01-21 wenzelm 2015-01-21 clarified iterations: enforce full top_down/bottom_up cycle for better stability of layout;
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-07 wenzelm 2015-01-07 tuned;
2015-01-07 wenzelm 2015-01-07 misc tuning;
2015-01-07 wenzelm 2015-01-07 configurable options;
2015-01-06 wenzelm 2015-01-06 proper level distance according to number of edges, as in old browser;
2015-01-06 wenzelm 2015-01-06 clarified Vertex.Ordering, to approximate situation before 4d985afc0565, which is relevant for level arrangement;
2015-01-06 wenzelm 2015-01-06 tuned;
2015-01-06 wenzelm 2015-01-06 rubberband method as in old browser; tuned;
2015-01-06 wenzelm 2015-01-06 tuned;
2015-01-06 wenzelm 2015-01-06 tuned signature;
2015-01-06 wenzelm 2015-01-06 proper translate vertex (cf. 4d985afc0565);
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 proper bounding box including dummies;
2015-01-05 wenzelm 2015-01-05 separate module Metrics; maintain static metrics (with font) and visible_graph via layout;
2015-01-05 wenzelm 2015-01-05 more metrics, with integer coordinates for layout; initial coordinates: center x as in old browser; Layout.pendulum/collapse: proper downwards range; distance as in old browser (see spaceBetween); move offset as in old browser; more careful comparison wrt. 0.0 (this is IEEE double, not int);
2015-01-04 wenzelm 2015-01-04 tuned;
2015-01-04 wenzelm 2015-01-04 misc tuning;
2015-01-04 wenzelm 2015-01-04 explicit Layout.Point; tuned signature; tuned;
2015-01-04 wenzelm 2015-01-04 tuned comments;
2015-01-04 wenzelm 2015-01-04 tuned;
2015-01-03 wenzelm 2015-01-03 tuned -- more iterators;
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 tuned signature;