MySQL Workbench keyboard shortcuts — running queries, SQL editor and navigation.
Workbench is menu- and toolbar-driven. EER model diagrams, server administration and data import/export are reached from the top menus and home screen; the SQL editor is where the shortcuts above apply.