The documentation mentions a sync function, but that function is not available from the
Database menu as shown in the screenshots there. Is this functionality available elsewhere? Using
reverse engineer makes the option show, but the wizard is unclear..
It would be nice being able to choose specific tables, but have the necessary tables linked through foreign keys be automatically included to avoid synchronization failure, and to do it all from the mysql shell not from an error prone UI.