[BLUEJ-1017] Unchecking 'syntax highlighting' has no effect

---

Issue metadata

• Issue type: Bug
• Priority: Medium
• Fix versions: 4.1.0