Bug #75993 Mouse Pointer Does Not Revert to Arrow Pointer When Leaving Editor Client Area
Submitted: 21 Feb 2015 18:53 Modified: 6 Mar 2018 21:00
Reporter: Michael Mast Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench: SQL Editor Severity:S3 (Non-critical)
Version:6.2.4 OS:Windows (Microsoft Windows 8.1 Pro)
Assigned to: CPU Architecture:Any
Tags: WBBugReporter

[21 Feb 2015 18:53] Michael Mast 
Description:
While the mouse pointer is located within the client window of the editor it is correctly displayed as a text insert symbol (a very large capital I).  As it is dragged down towards the Output window it first encounters the editor's horizontal scroll bar.  At this point it should become an arrow, but it remains a text insert symbol.  Moving it farther down into the window resize region, the mouse pointer correctly changes to a resize symbol (basically a cross with arrows on the ends of the vertical bar making up the cross).  Moving the mouse farther down into the Output window, it correctly changes  to an arrow.

When the process is reversed, i.e. moving the mouse from the output window up into the editor window it correctly changes to a resize symbol, then an arrow when encountering the editor's horizontal scroll bar and then a text insert symbol when it enters the editor's client window.

How to repeat:
1. Click in the editor's window (as though were going to edit some SQL code).
2. Without holding down any of the mouse buttons, move the mouse down towards the Output window.
3. When the mouse encounters the editor's scroll bar it does NOT become an arrow pointer.  Instead it remains a text insert pointer.  This is the bug.

Suggested fix:
Likely missing a call to SetCursor when the scroll bar window receives its first MouseMove message (but only if the mouse **was** in the editor's client window, otherwise the call to SetCursor is made).
[21 Feb 2015 19:10] Michael Mast 
A Similar problem exits when moving the mouse horizontally out of the editor's client window when it encounters the vertical scroll bar.
[23 Feb 2015 22:01] MySQL Verification Team 
Thank you for the bug report.
[25 Jan 2018 16:52] Christine Cole 
Posted by developer:
 
Reset to status 80 and dev_status QA Review.
The previous change was unintended.
[6 Mar 2018 21:00] Christine Cole 
Posted by developer:
 
Fixed as of the upcoming MySQL Workbench 8.0.5 release, and here's the changelog entry:

The mouse pointer did not always change shape to match the area it was
moved to within the visual SQL editor.

Thank you for the bug report.