Bug #23479 Inconsistent use of capitalization with "GRT"
Submitted: 19 Oct 2006 20:29
Reporter: Peter Lavin Email Updates:
Status: Won't fix Impact on me:
None 
Category:MySQL Workbench Preview Severity:S3 (Non-critical)
Version:1.1.4alpha OS:Windows (XP)
Assigned to: CPU Architecture:Any
Tags: grt

[19 Oct 2006 20:29] Peter Lavin
Description:
Inconsistent use of capitalization with "GRT".

Menu items use the capitalized form of "GRT" except for the option:

View -> Advanced -> Dock *Grt* Shell

How to repeat:
Choose the menu item shown above.

Suggested fix:
Change "Grt" to "GRT".