[BLUEJ-1330] Selecting text beyond bottom of window not easy
Usually in editors you can select text below the bottom of the window by holding down the mouse button and moving beyond the bottom of the window, and the window will scroll down. Our editor doesn't have this functionality but it should. (Ditto for top.)
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 5.0.1