TiogaOpsDefs.Mesa
written by Bill Paxton. June 1982
last written by Paxton. December 28, 1982 1:06 pm
This contains definitions shared by TiogaOps and TiogaExtraOps
DIRECTORY
ViewerClasses USING [Viewer],
Rope USING [ROPE];
TiogaOpsDefs: CEDAR DEFINITIONS =
BEGIN
Definitions
Ref: TYPE = REF NodeBody; -- points to a Tioga node
NodeBody: TYPE;
Offset: TYPE = INT; -- character offset in a node. starts at zero.
Location: TYPE = RECORD [node: Ref, where: Offset];
Viewer: TYPE = ViewerClasses.Viewer;
ROPE: TYPE = Rope.ROPE;
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.