Personalizar atajos de teclado en MySql Workbench

Después de haber pasado varios años trabajando principalmente con MS SQL Server (y, por lo tanto, SQL Server Management Studio para tareas comunes), ahora estoy empezando a trabajar con MySql. Hasta la fecha he estado usandoMySQL Workbench y en general estoy contento con ello.

Sin embargo, me gustaría poder asignaratajos de teclado personalizados para ciertos comandos (por ejemplo, comandos deesta lista). Por ejemplo, prefiero seguir el enfoque de MS-SQL de 'F5' para ejecutar consultas, en lugar de pulsar 'Modificador + Retorno'. Todavía no he encontrado una forma sencilla de hacer esto. Mis preguntas son entonces:

¿Es esto posible de alguna manera en MySQL Workbench (por ejemplo, un complemento adicional)?Si no es así, ¿alguna de las alternativas a MySQL Workbench ofrece esta funcionalidad?

Ambiente:

Ubuntu 12.04 LTS, 32 bitServidor MySQL versión 5.5.24-0ubuntu0.12.04.1MySQL Workbench Versión 5.2.38, rev 8753

¡Aclamaciones!

Respuestas a la pregunta(1)

Su respuesta a la pregunta