already reported ... nearly a month ago ...
https://bugs.launchpad.net/ubuntu/+source/mysql-workbench/+bug/1376154
already reported ... nearly a month ago ...
https:/ /bugs.launchpad .net/ubuntu/ +source/ mysql-workbench /+bug/1376154