Tab in Search dialog allows you to search for Magik elements. To show the tab invoke Search > Search... > Magik Search.
In this field, type in the expression for which you wish to search, using the wildcard characters mentioned in the dialog as needed. This field is initialised based on the current selection.
Select to search for one of the following kinds of elements:
Select to limit your search results to elements described by selected pragma flags:
Select Override pragma flags to override pragma flags by searching results.
Select to limit your search results to elements described by selected topics:
Topics can be entered manually or selected from topics list in Topics dialog.
Select "Edit..." to open Topics Window and click "Refresh topics" to refresh list of available topics.
Select where in the scope to search for results:
Select to limit your search results to one of the following scopes:
Working set scope is not supported and results for this scope will not be found.
Magik File Search