<> DIRECTORY Rope USING [ROPE], TiogaDocument USING [TiogaDocumentData]; TiogaTouchup: 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: TiogaDocument.TiogaDocumentData, who: Rope.ROPE] RETURNS [ok: BOOL]; <> UnlockAfterRefresh: PROC [tdd: TiogaDocument.TiogaDocumentData]; END.