Description:
The mouse pointer flicker heavily between mouse pointer an text cursor, when moving it across the SQL editor. Also, CPU usage is increased from a few percent to around 25% (when moving the mouse pointer across the SQL editor). CPU usage almost instantly drops when I stop moving the mouse.
This is the system info from one of my computers having this issue:
MySQL Workbench Community (GPL) for Windows version 6.0.7 revision 11215
Configuration Directory: C:\Users\Joakim\AppData\Roaming\MySQL\Workbench
Data Directory: C:\Program Files (x86)\MySQL\MySQL Workbench 6.0 CE
Cairo Version: 1.8.8
OS: Microsoft Windows 7 Service Pack 1 (build 7601), 64-bit
CPU: 4x Intel(R) Core(TM) i7-3540M CPU @ 3.00GHz, 7.9 GiB RAM
Active video adapter Intel(R) HD Graphics 4000
Installed video RAM: -1984 MB
Current video mode: 1920 x 1080 x 4294967296 colors
Used bit depth: 32
Driver version: 9.17.10.3040
Installed display drivers: igdumd64.dll,igd10umd64.dll,igd10umd64.dll,igdumd32,igd10umd32,igd10umd32
Current user language: Swedish (Sweden)
NOTE:
This issue seems to be hardware specific, since it doesn't affect all systems. So far I've tried three different computers: a Desktop, a Lenovo T520 laptop and a Dell laptop. I'm able to reproduce the error on the two laptops. The laptops both have an Intel HD graphic chip, while the desktop has a graphic chip from AMD. This is hardly conclusive evidence, but I figured I mention it anyway.
How to repeat:
1. Start MySQL Workbench
2. Connect to a MySQL server
3. Move the mouse over the query editor
