Bug #44462 Menu item names wrong
Submitted: 24 Apr 2009 16:59 Modified: 11 Aug 2009 16:13
Reporter: Karsten Wutzke Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench Severity:S4 (Feature request)
Version:5.1.10 OS:Any
Assigned to: CPU Architecture:Any
Tags: menu item name, Options, preferences, Window title

[24 Apr 2009 16:59] Karsten Wutzke 
Description:
1. The "Tools" -> "Options..." menu item should be renamed to "Preferences..."

2. The window title of the "Options..." dialog is "Workbench Preferences", this should be "Preferences" only

How to repeat:
see menu

Suggested fix:
see above
[27 Apr 2009 6:37] Valeriy Kravchuk 
Thank you for the feature request. WB 5.0.x was more consistent (Options... vs. Workbench Options).
[10 Aug 2009 19:34] Johannes Taxacher 
the global options dialog is now called "workbench Preferences" ... menu item has been renamed to "Preferences ..." accordingly.
[10 Aug 2009 19:35] Johannes Taxacher 
this was included in 5.1.16 GA
[11 Aug 2009 16:13] Tony Bedford 
A 'change' entry has been added to the 5.1.16 changelog:

The MySQL Workbench Tools, Options... menu item has been renamed to Preferences..., and the corresponding dialog now has the title Workbench Preferences.