Module Hugin.Layout
Laid-out figures.
A laid-out figure is a resolved figure on a page: its text measured with the theme's faces, its ticks chosen and frozen, its guides built, its grid solved and each panel's projection fixed.
#
type tThe type for laid-out figures.
#
type panel = {- #
id : id; - #
box : Box2.t;(*The data area, in points on the page.
*) - #
projection : Coord.projection;(*The panel's projection.
*)
}The type for panels.
warnings l is the warnings of resolving and laying out, in the order of the figure.
equal l l' is true iff l and l' lay out Resolved.equal figures in Theme.equal themes and have equal sizes, panels of equal ids, boxes and coordinate systems, equal frozen ticks, guides, headers and titles of equal contents in equal boxes, and equal warnings. Equal layouts draw Drawing.equal drawings at one density.