<<>> <> <> <> <> <> <<>> DIRECTORY GGBasicTypes, GGRefresh, GGStateExtras, ImagerTransformation; GGEmbedTypes: CEDAR DEFINITIONS = BEGIN Vector: TYPE = GGBasicTypes.Vector; EmbedDataObj: TYPE = RECORD [ paintProc: GGRefresh.PaintProc, viewportProc: GGStateExtras.ViewportProc, viewportData: REF _ NIL, clientData: REF, beingBorn: BOOL _ TRUE, scrollDue: ImagerTransformation.Transformation _ NIL, scaleCaretActive: BOOL _ FALSE, scaleCaretStart: Vector, scaleCaretCurrent: Vector ]; END.