Use the Find Definitions 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
Return
or click on 
to display a list of matches together with their locations. Double-click on a match to display the source.
Figure 12.8 Displaying matches in the Find Definitions view
In addition, after using the editor command
Find Source
(bound to
Alt+.
) or other source location commands, you can invoke the Find Definitions view to display a complete list of the matches with the editor command
Alt+X 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.