Description:
When editing a long query in the SQL editor window I see very strange cursor behaviour when attempting move the cursor up and down within the editor.
If I move the cursor down it simply stops at the bottom of the displayed area without scrolling.
If I move the cursor up it hits the top of the displayed area then starts coming back down again until it hits the bottom where it bounces back up. This bouncing up and down continues while I keep my finger on the 'up' cursor key.
The only way to scroll the editor window is by using the mouse, even then it scrolls line-by-line rather than smoothly. If I scroll slowly with the mouse I can see the editor window jiggling up and down a few pixels until it decides I've scrolled far enough and jumps to the next line.
I think this has only started happening since updating to MySQL Workbench version 8 although version 6 still has the jerky scrolling rather than smooth scrolling.
How to repeat:
Open an editor window, enter a long multi-line query (or any text really) so that the vertical scroll bars appear. Scroll the editor halfway down the text then try to move the cursor up and down using the cursor keys.
