-- 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.