Apenas sorte que eu vi sua pergunta. Isso aconteceu há cerca de duas semanas a um amigo no trabalho. Como eu vi a versão 14.10, sugeri atualizar para o 15.04 e então poderíamos continuar a descobrir o que estava errado.
Após a atualização, seus problemas com o Workbench foram eliminados. Então, pode haver algumas coisas que podem estar causando isso:
- Versão das bibliotecas usadas para o Workbench em 14.10
- Versão do MySQL Workbench (em 15.04 é 6.2.3)
- Correções em 15.04 que afetaram o comportamento do Workbench e sua aparência.
É assim que parece para mim agora:
Então, minha recomendação, antes de fazer qualquer outra coisa, tente atualizar para o 15.04 para evitar o fim da vida útil e obter muitas correções, aprimoramentos e uma nova bancada de trabalho enquanto você faz isso.