#
0c2c1490 |
|
11-Feb-2018 |
Lars Hupel <lars.hupel@mytum.de> |
use preferred resolver according to DOI Handbook ยง3.8
|
#
f34a1ac3 |
|
26-Jan-2015 |
wenzelm <none@none> |
complete pattern coverage, e.g. relevant for singleton graph;
|
#
bfadc1bc |
|
21-Jan-2015 |
wenzelm <none@none> |
clarified iterations: enforce full top_down/bottom_up cycle for better stability of layout;
|
#
3681e0bf |
|
17-Jan-2015 |
wenzelm <none@none> |
more explicit Layout.Info: size and content; allow multi-line vertex label, based on content; misc tuning;
|
#
3df3e364 |
|
07-Jan-2015 |
wenzelm <none@none> |
tuned;
|
#
d2aaee05 |
|
07-Jan-2015 |
wenzelm <none@none> |
misc tuning;
|
#
8a9768cf |
|
06-Jan-2015 |
wenzelm <none@none> |
configurable options;
|
#
8f0b8094 |
|
06-Jan-2015 |
wenzelm <none@none> |
proper level distance according to number of edges, as in old browser;
|
#
b63e82b4 |
|
06-Jan-2015 |
wenzelm <none@none> |
clarified Vertex.Ordering, to approximate situation before 4d985afc0565, which is relevant for level arrangement;
|
#
d38e4c62 |
|
06-Jan-2015 |
wenzelm <none@none> |
tuned;
|
#
8c37c61b |
|
06-Jan-2015 |
wenzelm <none@none> |
rubberband method as in old browser; tuned;
|
#
52f6f99f |
|
06-Jan-2015 |
wenzelm <none@none> |
tuned;
|
#
9a83d20b |
|
06-Jan-2015 |
wenzelm <none@none> |
tuned signature;
|
#
a3787899 |
|
06-Jan-2015 |
wenzelm <none@none> |
proper translate vertex (cf. 4d985afc0565);
|
#
71ea3d5c |
|
06-Jan-2015 |
wenzelm <none@none> |
explict layout graph structure, with dummies and coordinates; explicit metrics for dummy box; tuned signature; misc tuning;
|
#
76dba21f |
|
05-Jan-2015 |
wenzelm <none@none> |
proper bounding box including dummies;
|
#
e1df35e0 |
|
05-Jan-2015 |
wenzelm <none@none> |
separate module Metrics; maintain static metrics (with font) and visible_graph via layout;
|
#
ea447ccf |
|
04-Jan-2015 |
wenzelm <none@none> |
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);
|
#
364f41d3 |
|
04-Jan-2015 |
wenzelm <none@none> |
tuned;
|
#
d6deec98 |
|
04-Jan-2015 |
wenzelm <none@none> |
misc tuning;
|
#
a947cf97 |
|
04-Jan-2015 |
wenzelm <none@none> |
explicit Layout.Point; tuned signature; tuned;
|
#
e14eade1 |
|
04-Jan-2015 |
wenzelm <none@none> |
tuned comments;
|
#
47c2160c |
|
04-Jan-2015 |
wenzelm <none@none> |
tuned;
|
#
245c73b7 |
|
03-Jan-2015 |
wenzelm <none@none> |
tuned -- more iterators;
|
#
331be8f5 |
|
03-Jan-2015 |
wenzelm <none@none> |
more formal Graph_Display.Node (with ordering) and Graph_Display.Edge; misc tuning; tuned signature;
|
#
a9c5fc80 |
|
02-Jan-2015 |
wenzelm <none@none> |
tuned headers;
|
#
bfbaa6b8 |
|
01-Jan-2015 |
wenzelm <none@none> |
tuned signature; --HG-- rename : src/Tools/Graphview/layout_pendulum.scala => src/Tools/Graphview/layout.scala
|