--Compiler RefreshDefs --m.stone November 2, 1979 4:26 PM --Tiberi November 2, 1979 12:08 PM DIRECTORY PointDefs: FROM "PointDefs", ObjectDefs: FROM "ObjectDefs"; RefreshDefs: DEFINITIONS= BEGIN InRefresh: PUBLIC BOOLEAN; EraseAndSave: PROCEDURE[obj: ObjectDefs.ObjectHandle]; PlotAndMark: PUBLIC PROCEDURE[obj: ObjectDefs.ObjectHandle]; EraseAndSaveAllCPs: PUBLIC PROCEDURE; EraseAndSaveBox: PROCEDURE[tl, br: PointDefs.ScrPt]; MarkBox: PROCEDURE[tl, br: PointDefs.ScrPt,obj: ObjectDefs.ObjectHandle]; RestoreScreen: PROCEDURE; END.