-- RefreshDefs
--m.stone November 2, 1979 4:26 PM
--Tiberi November 2, 1979 12:08 PM
-- Last Edited by: Stone, February 1, 1983 1:16 pm

DIRECTORY
 PointDefs: FROM "PointDefs",
 ObjectDefs: FROM "ObjectDefs";
RefreshDefs: DEFINITIONS=
BEGIN
InRefresh: PUBLIC BOOLEAN;
Refresh: PROGRAM;
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.