MySQL Bugs: #86509: SQL Editor right hand pane causes redraw on hover when hidden

Bug #86509	SQL Editor right hand pane causes redraw on hover when hidden
Submitted:	30 May 2017 12:59	Modified:	22 Jun 2017 12:03
Reporter:	Lee Butler	Email Updates:
Status:	Verified	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S3 (Non-critical)
Version:	6.3.9	OS:	Windows
Assigned to:		CPU Architecture:	Any
Tags:	sql editor, UI, workbench

Description:
When the pane on the right of he results grid has been hidden, when it is hovered over it appears (which is what I'd rather it not do if I disabled it and accidentally hovered over it). The pane appearing though, thanks to the wonders of Winforms which it uses, causes the grid to redraw. On small result sets this isn't an issue, but if the results table is large it can take a relatively long time to redraw.

When the mouse moves away and it disappears, it then redraws again. 

How to repeat:
Run a query that returns a lot of data

Disable the right pane

Hover the right pane

Watch the sloooooow Winforms redraw

Suggested fix:
Instead of resizing the results grid on hover to account for the pane, just move the pane. This should avoid having to redraw the entire grid because the grid control is (if it's the standard DataGridView) really dumb and likes to redraw if it gets resized. 

TLDR> Stop resizing the grid and move the pane on top, or better still, if the pane is disabled, don't show it at all.

Hello  Lee Butler,

Thank you for the bug report.
Verified this behavior on MySQL Workbench in 6.3.9 version

Thanks,
Chiranjeevi.