[GREENFOOT-579] Show an error symbol on the margin of the Java editor.
Clarify the appearance of errors in Java editor by showing an error symbol on the margin, like in the Stride editor.
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 3.1.0