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: CEDAR DEFINITIONS=
BEGIN
InRefresh: PUBLIC BOOLEAN;
Initialize: PROC;
EraseAndSave: PROCEDURE[obj: ObjectDefs.ObjectHandle];
erase the bounding box of the object. Add frame to refresh
MarkObject: PUBLIC PROCEDURE[obj: ObjectDefs.ObjectHandle];
Add frame to refresh the size of the object
EraseAndSaveAllCPs: PUBLIC PROCEDURE;
EraseAndSaveBox: PROCEDURE[tl, br: PointDefs.ScrPt];
Erase box and add frame to refresh
MarkBox: PROCEDURE[tl, br: PointDefs.ScrPt];
Add frame to refresh the size given
RestoreScreen: PROCEDURE;
set the clipping region to the size of each frame, do refresh from indicated object (or whole list if object is NIL)
END.