Magik editor

Toolbar actions

Toolbar Button

Command

Description

Go to Next Problem

Next Annotation

This command navigates to the next annotation marker (problem, occurrence, etc.) in the active editor.

Go to Previous Problem

Previous Annotation

This command navigates to the previous annotation marker (problem, occurrence, etc.) in the active editor.

Toggle Mark Occurrences

Toggle Mark Occurrences

Turns the marking of occurrences on or off in the Magik editor.

Related concepts

Magik editor

Related reference

Magik outline

Related tasks

Opening an editor for a selected element