<> DIRECTORY Rope USING [ROPE], TEditDocument USING [TEditDocumentData]; TEditTouchup: CEDAR DEFINITIONS = BEGIN fullUpdate: REF ANY ; -- use as whatChanged to paint all linked viewers refresh: REF ANY ; -- use as whatChanged refresh viewer after edits PreScrollDownRec: TYPE = RECORD [ lines: INTEGER, -- number of lines that will be added at top of viewer distance: INTEGER -- number of scan lines to move down ]; <> <<>> RefreshOver: PROC; LockAfterRefresh, LockAfterScroll: PROC [tdd: TEditDocument.TEditDocumentData, who: Rope.ROPE] RETURNS [ok: BOOL]; <> UnlockAfterRefresh: PROC [tdd: TEditDocument.TEditDocumentData]; END.