Bug #18616 Windows/Linux GUI differences
Submitted: 29 Mar 2006 15:10 Modified: 26 Apr 2006 16:14
Reporter: John Yodsnukis (Basic Quality Contributor) Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench Preview Severity:S3 (Non-critical)
Version:1.0.5beta svn revision 304 OS:Linux (Linux (Gentoo on PPC))
Assigned to: Alfredo Kojima CPU Architecture:Any

[29 Mar 2006 15:10] John Yodsnukis 
Description:
The main window of the tool differs between Windows and Linux. Primarily, the "Tool Options" bar is above the right side panel in Windows, but not in Linux.

How to repeat:
Start mysql-workbench in Linux.
Start mysql-workbench in Windows.

Click on each tool icon in the left vertical toolbar.

Notice the differences in main window layout.

Suggested fix:
I've attached a diff patch and a replacement file as well since the patch isn't very readable.
[29 Mar 2006 15:12] John Yodsnukis 
replacement for mysql-workbench/res/linux/document.glade

Attachment: document.glade (application/x-glade, text), 119.14 KiB.
[29 Mar 2006 15:14] John Yodsnukis 
patch for mysql-workbench/res/linux/document.glade

Attachment: document.glade_DIFF (application/octet-stream, text), 53.01 KiB.
[30 Mar 2006 13:57] MySQL Verification Team 
Thank you for the bug report.
[26 Apr 2006 16:14] Alfredo Kojima 
Thank you for your bug report. This issue has been committed to our
source repository of that product and will be incorporated into the
next release.

If necessary, you can access the source repository and build the latest
available version, including the bugfix, yourself. More information 
about accessing the source trees is available at
    http://www.mysql.com/doc/en/Installing_source_tree.html