<> <> <> <> DIRECTORY Rope USING [ROPE], TEditDocument USING [TEditDocumentData]; TEditTouchup: CEDAR DEFINITIONS = BEGIN ROPE: TYPE ~ Rope.ROPE; TEditDocumentData: TYPE ~ TEditDocument.TEditDocumentData; 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: PROC [tdd: TEditDocumentData, who: ROPE] RETURNS [ok: BOOL]; LockAfterScroll: PROC [tdd: TEditDocumentData, who: ROPE] RETURNS [ok: BOOL]; <> UnlockAfterRefresh: PROC [tdd: TEditDocumentData]; END.