O menu MySQL Workbench mostra o dobro

Question

Instalei mysql-workbench no Ubuntu 14.04 LTS usando o Software Center. Ele instala o MySQL Workbench versão 6.0.8.

Neste, o menu é dobrado

Então eu decidi atualizar o MySQL Workbench. Eu adicionei um repositório fornecido pelo site oficial do MySQL e o atualizei.

sudo apt-get install mysql-workbench-community

Agora a versão do MySQL Workbench é

Ainda o menu é duplicado. Como posso resolver este problema?

Editar:

A mesma pergunta foi feita aqui sem resposta:

Problemas de GUI do MySQL Workbench no Ubuntu 14.10

    

Answer 1

ATUALIZAÇÃO:

Este problema de múltiplos menus é corrigido na versão 6.3.3 do mysql workbench. Eu instalei a nova versão encontrada aqui: link Eu instalei a seguinte versão Ubuntu Linux 14.10 (x86, 64 bits), DEB.

NOTA: Estou executando o Ubuntu 15.04. No entanto, eu instalei a versão 14.10 e funciona muito bem.

: END UPDATE

Se você olhar de perto, o menu não será duplicado. Na verdade, são dois menus separados. O primeiro menu é específico para a página inicial do MySQL Connections. O segundo menu é específico para sua conexão de banco de dados aberta. Por exemplo, se você abrir o mysql-workbench, a princípio você verá apenas um menu. Então, se você abrir uma conexão de banco de dados e exibir uma planilha SQL, o segundo menu será exibido.

Eu provavelmente classificaria isso como um bug por causa da redundância dos dois menus separados. No entanto, se você quiser alterar os menus, certamente o fará editando o XML para eles aqui: /usr/share/mysql-workbench/data/main_menu.xml .

Uma maneira de fazer isso é executar:

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

    

Answer 2

Esta resposta por Milosz Bodzek resolveu meu problema. Sua solução foi colocar export UBUNTU_MENUPROXY=0 no topo do arquivo de script mysql-workbench.