-- TiogaRefresh.mesa; Edited by Paxton on December 28, 1982 2:03 pm
DIRECTORY
MonitoredQueue USING [MQ],
TiogaDocument USING [SelectionId],
ViewerClasses USING [Viewer];
TiogaRefresh: CEDAR DEFINITIONS = BEGIN
dirtyDocs: MonitoredQueue.MQ;
ScrollToEndOfDoc: PROC [viewer: ViewerClasses.Viewer, glitch: BOOL];
ScrollToEndOfSel:
PROC [viewer: ViewerClasses.Viewer, glitch:
BOOL,
id: TiogaDocument.SelectionId ← primary];
END.