L0 = G2D = DIA = //// Diagram-specific settings DIA.HasPageDescription DIA.PageDescription DIA.PageDescription -- DIA.PageDescription.Size --> G2D.Point2D -- DIA.PageDescription.Orientation --> DIA.Orientation -- DIA.PageDescription.Margins --> DIA.Margins -- DIA.PageDescription.Margins.Top --> L0.Double -- DIA.PageDescription.Margins.Bottom --> L0.Double -- DIA.PageDescription.Margins.Left --> L0.Double -- DIA.PageDescription.Margins.Right --> L0.Double L0.Double DIA.NavigationEnabled L0.Boolean //// Diagram editor state properties DIA.HasEditorState DIA.EditorState -- DIA.EditorState.ViewTransform --> G2D.Transform -- DIA.EditorState.Selection --> DIA.Element -- DIA.EditorState.ToolMode --> L0.String