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 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. Κ_˜codešœ™KšœB™BKšœ,™,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šœ˜—…—ΰQ