IndexToolHandleRec:
TYPE =
RECORD [
toolViewer: ViewerClasses.Viewer, -- the IndexTool viewer itself (for ChoiceButtons)
indexViewer: ViewerClasses.Viewer, -- the facsimile index
kindOfIndex: ATOM, -- for example: $Index, $AuthorIndex, $InterfaceIndex, $CommandIndex
index: IndexTree.Index,
rootIndexBranch: TextNode.Ref,
documentViewer: ViewerClasses.Viewer ← NIL,
indexPhrasesContainer: ViewerClasses.Viewer,
sortAsPhrasesContainer: ViewerClasses.Viewer,
seePhrasesContainer: ViewerClasses.Viewer,
kindOfEntry: ATOM, -- for example: $Ordinary, $See, $SeeAlso, $Definition, $Example
kindOfEntryChoices: ChoiceButtons.EnumTypeRef,
startPosition: CARDINAL,
startPositionLabel: NumberLabels.NumberLabel,
endPosition: CARDINAL,
endPositionLabel: NumberLabels.NumberLabel,
entries: CARDINAL,
entriesLabel: NumberLabels.NumberLabel,
seeCount: CARDINAL,
seeCountLabel: NumberLabels.NumberLabel,
nestingCount: CARDINAL,
nestingCountLabel: NumberLabels.NumberLabel
];