How do you hide tool tips in MySQL Workbench? Is there a way to hide the tool tips that popup when you hover over objects? Especially when you hover over tables, I do not want to see the breakdown of what objects are in that table.
According to Philip Olson on the mysql.com bug system, this is "fixed as of the upcoming MySQL Workbench 6.1.6 release".