Magik Occurrences

Magik occurences is a mechanism that annotates occurences of identifiers or symbols in Magik Source Editor. Behaviour of this mechanism can be configured through Magik Occurences preference page. When the cursor stops on identifier or symbol, magik editor marks related occurences. You can also navigate betwen occurences using Previous Annotation (CTRL + , ) and Next Annotation (CTRL + . ) actions in toolbar.

Magik occurences

To enable Magik Occurences goto Magik Occurences preference page and check Mark occurences of the selected element in current file.

Related concepts

Magik Editor

Related reference

Magik occurences preferences
Magik editor preferences