|
Menu item/Symbol |
Description |
|
Termdetails |
|
|
Term |
Displays the term found. |
|
Usage |
Shows the usage status, e.g. allowed, forbidden, ambiguous, etc. |
|
Replace by
|
Here you can select the name to replace the found name. Appears next to Replace by a *, there are several replacement options from which you can choose. |
|
Jump To Next Link
|
Click this button to jump to the next hit. |
|
Replace and Next
|
Click this button to replace the found term with the selected term and jump to the next hit.
|
|
Replace
|
Click this button to replace the found term with the selected term. |
|
Ignore all
|
Click this button to ignore all other occurrences of this term in the document. |
|
Found terms |
|
|
List of terms |
This lists all the terms found throughout the document, including the status of use (allowed, forbidden, ambiguous,etc.). |
