Magik > Editor >
Magik Occurrences preference page.Set your preferences for the Magik Occurrences behavior on
Magik > Editor >
Magik Occurrences preference page.
|
Option |
Description |
Default |
|---|---|---|
|
Mark occurrences of the selected element in the current file |
Select to enable the marking of occurrences in Magik Editor. |
On |
|
Identifiers |
Select to mark all occurrences of the selected identifier in Magik source file. |
On |
|
Related symbols |
Select to mark symbols related to the selected identifier. |
On |
|
Symbols |
Select to mark all occurrences of the selected symbol in Magik source file. |
On |
|
Related identifiers |
Select to mark identifiers related to the selected symbol. |
On |
