Module Hugin.Drawing
Drawings.
A drawing is a laid-out figure drawn at a density: its marks reduced, read and drawn, painted over the theme's paper with every mark and panel tagged with its id.
#
type tThe type for drawings.
#
val renderable : t -> Renderable.trenderable d is the picture of d on a page of the figure's size: the paper, then the panels' marks, the guides and the titles.
warnings d is the warnings of resolving, laying out and drawing, in the order of the figure.
equal d d' is true iff d and d' have equal warnings and Renderable.equal renderables. A drawing drawn again is equal to the first.