MySQL Workbench菜单显示加倍

我使用Software Center在Ubuntu 14.04 LTS中安装了mysql-workbench 。 它安装了MySQL Workbench 6.0.8版。

在这里，菜单加倍

所以我决定升级MySQL Workbench。 我添加了MySQL官方网站提供的存储库并对其进行了升级。

 sudo apt-get install mysql-workbench-community 

现在MySQL Workbench版本是

菜单仍然是重复的。 我该如何解决这个问题？

编辑：

这里问了同样的问题而没有任何答案：

Ubuntu 14.10中的MySQL Workbench GUI问题

Answer 1

更新：

这个多菜单问题在mysql工作台版本6.3.3中得到修复。 我安装了这里的新版本： https ： //dev.mysql.com/downloads/workbench/我安装了以下版本的Ubuntu Linux 14.10（x86,64位），DEB。

注意：我正在运行Ubuntu 15.04。 但是，我安装了14.10版本，它工作得很好。

：END UPDATE

仔细观察，菜单实际上并没有加倍。 它实际上是两个单独的菜单。 第一个菜单特定于MySQL Connections主页。 第二个菜单特定于您的开放数据库连接。 例如，如果你打开mysql-workbench，首先你只会看到一个菜单。 然后，如果您打开数据库连接并显示SQL工作表，则会显示第二个菜单。

由于两个单独菜单的冗余，我可能会将其归类为错误。 但是，如果您想更改菜单，您可以在此处编辑XML： /usr/share/mysql-workbench/data/main_menu.xml 。

一种方法是运行：

 sudo nano /usr/share/mysql-workbench/data/main_menu.xml 

Answer 2

Milosz Bodzek的 这个答案解决了我的问题。 他的解决方案是将export UBUNTU_MENUPROXY=0放在mysql-workbench脚本文件的顶部。