Bug #23479 Inconsistent use of capitalization with "GRT"

• Submitted: 19 Oct 2006 20:29
• Reporter: Peter Lavin
• Status: Won't fix
• Category: MySQL Workbench Preview
• Severity: S3 (Non-critical)
• Version: 1.1.4alpha
• OS: Windows (XP)
• 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".