Magik editor can show special annotations to indicate methods which override methods from supertypes. Those special annotations are shown on both vertical rulers of Magik editor.
NOTE: Magik Override Indicators are available only in source files related to Magik project with running session assigned to it.
You can also check this type of annotation in the list supported by Previous Annotation (CTRL + , ) and Next Annotation (CTRL + . ) actions available in main toolbar.
Preferences for these annotations can be changed in General > Editors > Text Editors > Annotations preference page.