Vous pouvez modifier le main_menu.xml
fichier (pour moi sur Ubuntu 12.04 c'était dans /usr/share/mysql-workbench/data/
). Après l'avoir modifié, vous devrez redémarrer MySQL Workbench.
Ça va ressembler à ça
<value type="object" struct-name="app.MenuItem" id="com.mysql.wb.menu.query.exec">
<link type="object" key="owner" struct-name="app.MenuItem">com.mysql.wb.menu.query</link>
<value type="string" key="caption">Execute (All or Selection)</value>
<value type="string" key="name">query.execute</value>
<value type="string" key="command">builtin:query.execute</value>
<value type="string" key="itemType">action</value>
<value type="string" key="shortcut">Modifier+E</value>
</value>
L'avant-dernière ligne (Modifier+E) a été éditée par moi. Auparavant, il était écrit "Modifier+Shift+Return". Notez qu'il ne s'agit PAS d'un alias (vous ne pouvez pas avoir les deux).