How can I set MySQL Workbench to automatically disconnect from server?

mysql, mysql-workbench

Solution

See the MySQL Workbench preferences:

There's no automatic reconnection however. You can however use `menu -> Query -> Reconnecto to Server` for manual reconnection.

Problem

Is there a way to set Workbench to automatically disconnect from the server when idle? The command line mysql client disconnects when idle and then reconnects when you run a query. I'd like Workbench to disconnect automatically, too. I cannot modify the server's timeout settings. But the command line client works as desired with the current server settings.

Original source