[BLUEJ-1001] Some lagging when scrolling the Java editor using a Mac touchpad

---

Issue metadata

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