Mysql
 sql >> Base de données >  >> RDS >> Mysql

Personnalisation des raccourcis clavier dans MySql Workbench

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).