|
Toolbar Button |
Command |
Description |
|---|---|---|
|
|
Go to Next Problem |
This command navigates to the next problem marker in the active editor. |
|
|
Go to Previous Problem |
This command navigates to the previous problem marker in the active editor. |
|
|
Toggle Mark Occurrences |
Turns the marking of occurrences on or off in the Magik editor. |
Opening an editor for a selected element
