After I installed some updates, MySQL-workbench app's Menu bar is showing duplicate menu entries.
The same issue was there for GIMP as well. But clean-remove and installing back again solved this problem.
Please let me know if there is any alternative to resolve this issue (If possible permanently), other than remove-and-install.
Find the
mysql-workbench
script (usually located in/usr/local/bin
).Edit it and put
export UBUNTU_MENUPROXY=0
at the top of the file, save. That's it.