Highlighting in Tools

You can highlight a selection or your hits in any Tool pane in the same way as in Text panes.

Warning

Highlighting in Tools is accurate only for as long as the Tool remains unedited. If a new release of the Tool has a different number of paragraphs, any previous highlighting following the point of change will be displaced. Similarly, if the number of words in a paragraph changes, subsequent highlighting is also displaced.

We recommend avoiding a major time investment in highlighting a Tool, especially those Tools which are still works in progress and which will definitely undergo major changes in a future release.