Personnalisation des raccourcis clavier dans MySql Workbench
Ayant passé plusieurs années à travailler principalement avec MS SQL Server (et donc SQL Server Management Studio pour les tâches courantes), je commence maintenant à travailler avec MySql. À ce jour, j'ai utilisé MySQL Workbench et je suis généralement content de cela.
Je voudrais cependant pouvoir assigner des raccourcis clavier personnalisés pour certaines commandes (par exemple les commandes de cette liste ). Par exemple, je préfère m'en tenir à L'approche MS-SQL de 'F5' pour exécuter des requêtes, plutôt que de cliquer sur 'Modifier+Return'. Je n'ai pas encore rencontré un moyen simple de le faire. Mes questions sont alors:
- est-ce possible en quelque sorte dans MySQL Workbench (par exemple plugin supplémentaire)?
- si ce n'est pas le cas, l'une des alternatives à MySQL Workbench offre-t-elle cette fonctionnalité?
Environnement:
- Ubuntu 12.04 LTS, 32 bits
- Version du serveur MySQL 5.5.24-0ubuntu0.12.04. 1
- MySQL Workbench version 5.2.38, rev 8753
Cheers!
1 réponses
, Vous pouvez modifier la 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 à ceci
<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 (modificateur + E) a été éditée par moi. Auparavant, il a dit "Modifier + Maj + retour". Notez que ce n'est pas un alias (vous ne pouvez pas avoir les deux).