[BLUEJ-589] Rethink Compile button
The new editor will have continuous compilation. This means that the 'Compile' button int he editor should change. (Be removed? Change text to 'Next error' like in GF? What about the Compile button in the main window?)
Need to make decisions and adapt.
Issue metadata
- Issue type: Task
- Priority: Medium