Magik Occurrences

Set your preferences for the Magik Occurrences behavior on Opens the Magik Occurrences preference pageMagik > 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

Magik Occurrences preference page

Related concepts

Magik Editor

Related reference

Magik Occurrences
Magik Editor
Magik Editor Preferences