MySQL Bugs: #76547: The Mouse Cursor Does Not Change When Entering the Scroll Bar

Bug #76547	The Mouse Cursor Does Not Change When Entering the Scroll Bar
Submitted:	31 Mar 2015 14:58	Modified:	2 Feb 2018 12:02
Reporter:	David Burch	Email Updates:
Status:	Verified	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S4 (Feature request)
Version:	6.2.4	OS:	Windows (Microsoft Windows 7 Professional Service Pack 1)
Assigned to:		CPU Architecture:	Any
Tags:	aesthetic, mouse event, WBBugReporter

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
The mouse cursor does not change when moved from the SQL editor area to the scroll bar. The mouse cursor remains in the text selector form. This issue affects both the vertical and horizontal scroll bars.

How to repeat:
Move the mouse cursor to the SQL editor area of the workbench. Then move the mouse cursor to the scroll bar. The mouse cursor will not change.

Suggested fix:
Make it so that the mouse cursor changes when it enters the scroll bar space.

Thank you for the feature request.