MySQL Bugs: #70809: Improve "continue on error" option configuration

Bug #70809	Improve "continue on error" option configuration
Submitted:	4 Nov 2013 16:21
Reporter:	Todd Farmer (OCA)	Email Updates:
Status:	Verified	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S3 (Non-critical)
Version:	6.0.6	OS:	Any
Assigned to:		CPU Architecture:	Any

Description:
MySQL Workbench provides a configuration option to continue or interrupt script execution on errors, with the default behavior being to interrupt execution.  There are two ways to change this behavior:

1.  Click the seventh icon on the top border of the SQL Editor script panel, which shows a red circle with an "X" (representing an error) with an arrow to a red stop sign.  When toggled to reflect interrupt on error, a small green dot appears in the upper right corner of the button.  The absence of the same designates "continue on error" behavior.

2.  Change the "Continue on SQL Script Error (by default)" preference (Edit -> Preferences -> SQL Queries) checkbox state.

The current icon make it difficult to assess the current state.  It would be nice if the icon representing "continue on error" were changed to transform the red stop sign to a green ... something (maybe an arrow).  It would also be useful if the mouse-over help tip described the current state, not just the purpose of the button.

Changing the state via preferences doesn't impact the state of the button on existing connections.

How to repeat:
See above.

Suggested fix:
1.  Provide better differentiation between states in the button icons.
2.  Add state information to mouse-over help text.
3.  Make changes to preferences affect existing connections.