[BLUEJ-199] 'Use syntax highlighting' preference is ignored
The 'Use syntax highlighting' preference from the Editor pref panel is ignored.
Either fix this, or should we maybe remove the preference option? Does anyone switch this off?
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.6