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.
To enable Magik Occurences goto Magik Occurences preference page and check Mark occurences of the selected element in current file.
Magik occurences preferences
Magik editor preferences