Bug #34856 Double clicking the Catalog title bar undocks the GRT Tree window
Submitted: 26 Feb 2008 19:48 Modified: 11 May 2008 0:15
Reporter: Peter Lavin Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench Severity:S3 (Non-critical)
Version:5.0.14a OS:Any
Assigned to: Mike Lischke
Tags: grt, grt tree

[26 Feb 2008 19:48] Peter Lavin
Description:
Double clicking the Catalog title bar undocks the GRT Tree window.

How to repeat:
Open the GRT shell. This docks the GRT Tree window in the centre on the right sidebar. Select the "Catalog" tab and then double click its title bar. This undocks the GRT Tree window.

Suggested fix:
Don't undock the GRT Tree window unless its title bar is double clicked.
[8 Apr 2008 16:41] Johannes Taxacher
this is fixed now asthe docking system has been improved in general. (tested in 5.0.17 SVN Rev 3006)
[11 May 2008 0:15] Paul Dubois
Noted in 5.0.17 changelog.

Double clicking the Catalog title bar undocked the GRT Tree window.