History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/metrics.scala
Revision Date Author Comments
# 33302ae9 17-Jan-2015 wenzelm <none@none>

prefer fractional font metrics, for proper scaling of node size;


# b4368d01 17-Jan-2015 wenzelm <none@none>

tuned metrics;


# 3681e0bf 17-Jan-2015 wenzelm <none@none>

more explicit Layout.Info: size and content;
allow multi-line vertex label, based on content;
misc tuning;


# 71ea3d5c 06-Jan-2015 wenzelm <none@none>

explict layout graph structure, with dummies and coordinates;
explicit metrics for dummy box;
tuned signature;
misc tuning;


# 01c29dd2 05-Jan-2015 wenzelm <none@none>

tuned metrics;


# e1df35e0 05-Jan-2015 wenzelm <none@none>

separate module Metrics;
maintain static metrics (with font) and visible_graph via layout;