title: Customizing Keyboard Shortcuts in MySql Workbench
body: <p>Having spent a number of years working primarily with MS SQL Server (and hence SQL Server Management Studio for common tasks), I am now beginning to work with MySql. To date I have been using <em>MySQL Workbench</em> and am generally happy with it.</p>
  
  <p>I would, however, like to be able to assign <strong>custom keyboard shortcuts</strong> for certain commands (e.g. commands from <a href="http://dev.mysql.com/doc/workbench/en/wb-keys.html">this list</a>). For example, I'd prefer to stick to the MS-SQL approach of 'F5' to execute queries, rather than hitting 'Modifier+Return'. I haven't yet come across a simple way to do this. My questions are then:</p>
  
  <ul>
  <li>Is this possible somehow in MySQL Workbench (e.g. additional plugin)?</li>
  <li>If not, do any of the alternatives to MySQL Workbench offer this functionality?</li>
  </ul>
  
  <p>Environment:</p>
  
  <ul>
  <li>Ubuntu 12.04 LTS, 32 bit</li>
  <li>MySQL server version 5.5.24-0ubuntu0.12.04.1</li>
  <li>MySQL Workbench Version 5.2.38, rev 8753</li>
  </ul>
  
  <p>Cheers!</p>