TiogaOpsDefs.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
written by Bill Paxton. June 1982
last written by Paxton. December 28, 1982 1:06 pm
Doug Wyatt, March 3, 1985 10:42:58 am PST
This contains definitions shared by TiogaOps and TiogaExtraOps.
DIRECTORY
Rope USING [ROPE],
ViewerClasses USING [Viewer];
TiogaOpsDefs: CEDAR DEFINITIONS
= BEGIN
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: INT];
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.