view to locate definitions recorded by the system with a given name. Firstly click on
to ensure you have compiled the buffer displaying the Othello example. Then enter the name of the definition you are searching for in the name box and press
or click on
to display a list of matches together with their locations. Double-click on a match to display the source.
Figure 13.8 Displaying matches in the Find Definitions view
In addition, after using the editor command
) or other source location commands, you can invoke the Find Definitions view to display a complete list of the matches with the editor command
View Source Search
Further, the option Use Find Definitions list for more items than: controls automatic use of this view, as described in Automatic use of Find Definitions view.