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.  TEditTouchup.mesa Copyright Σ 1985, 1986, 1991 by Xerox Corporation. All rights reserved. Edited by Paxton on October 27, 1982 1:54 pm Doug Wyatt, March 3, 1985 1:44:00 pm PST Use $ShowPSel as whatChanged to get pSel redisplayed. Similarly for $ShowSSel. Locks the tdd. ΚŒ–(cedarcode) style•NewlineDelimiter ™codešœ™Kšœ Οeœ=™HKšœ,™,K™(—K˜šΟk ˜ Kšœžœžœ˜Kšœžœ˜(—K˜KšΠbl œžœž ˜Kšœž˜K˜Kšžœžœžœ˜Kšœžœ#˜:K˜Kšœ žœžœΟc1˜FKšœ žœžœ 0˜BKšœO™OK˜šœžœžœ˜!Kšœžœ 6˜FKšœ žœ $˜6K˜—K˜K™KšΟn œžœ˜K˜Kš ‘œžœžœžœžœ˜Nš ‘œžœžœžœžœ˜MK™—K˜Kš‘œžœ˜2K˜Kšžœ˜—…—ΰ„