<> <> <> <> DIRECTORY GriffinKernel USING [Data], GriffinObject USING [ObjectHandle], GriffinPoint USING [ScrPt]; GriffinRefresh: CEDAR DEFINITIONS = BEGIN Data: TYPE = GriffinKernel.Data; Frame: TYPE = RECORD [ tl, br: GriffinPoint.ScrPt, obj: GriffinObject.ObjectHandle]; EraseAndSave: PROC [obj: GriffinObject.ObjectHandle]; <> EraseAndSaveAllCPs: PROC [data: Data]; EraseAndSaveBox: PROC [data: Data, tl, br: GriffinPoint.ScrPt]; <> MarkObject: PROC [obj: GriffinObject.ObjectHandle]; <> RestoreScreen: PROC [data: Data]; <> <<>> END.