TiogaOpsDefs.mesa
Copyright © 1985, 1986 by Xerox Corporation. All rights reserved.
written by Bill Paxton. June 1982
last written by Paxton. December 28, 1982 1:06 pm
Doug Wyatt, August 27, 1986 6:05:58 pm PDT
This contains definitions shared by TiogaOps and TiogaExtraOps.
TiogaOpsDefs: CEDAR DEFINITIONS
= BEGIN
Ref: TYPE = REF NodeBody; -- points to a Tioga node
NodeBody: TYPE;
Location: TYPE = RECORD [node: Ref, where: INT];
WhichNodes: TYPE = { root, selection };
SelectionGrain: TYPE = { point, char, word, node, branch };
Order: TYPE = { before, same, after, disjoint };
WhichSelection: TYPE = { primary, secondary, feedback };
Feedback selection is provided as a mechanism for giving visible mark without changing edit selections. You can explicitly cancel it, but it will go away automatically as soon as a non-feedback selection is made in the same viewer.
END.