title: Use Ctrl+Shift+Z as a shortcut for the Redo action in MySQL Workbench for Windows
body: <p>On Windows, the <em>Redo</em> action in MySQL Workbench is mapped to the <kbd>Ctrl</kbd>+<kbd>Y</kbd> keyboard shortcut (it looks like it has been so since <a href="https://bugs.mysql.com/bug.php?id=46285" rel="nofollow noreferrer">september 2009</a>). I would like to use <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Z</kbd>. However, pressing this combination prints a <code>SUB</code> character in the current tab, which I interpret as a <a href="https://en.wikipedia.org/wiki/Substitute_character" rel="nofollow noreferrer">substitute character</a>.</p>
  
  <p>According to an <a href="https://stackoverflow.com/a/13419379/2516943">SO answer</a>, I should be able to change it in the <code>main_menu.xml</code> file. After doing so and restarting MySQL Workbench, the new keyboard shortcut correctly appears in the Edit Menu, but pressing the corresponding keys still echoes a <code>SUB</code> character.</p>
  
  <p>Is there any way to make <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Z</kbd> work?</p>
  
  <p>EDIT:</p>
  
  <p>What I did exactly was:</p>
  
  <ul>
  <li>change the shortcut to <code>Modifier+Shift+Z</code> in the element with <code>id="com.mysql.wb.menu.edit.redo"</code></li>
  <li>change the shortcut to some other shortcut in the element with <code>id="com.mysql.wb.menu.database.sync_mysql_script"</code> (which was using <code>Modifier+Shift+Z</code>).</li>
  </ul>
  
  <p>You can see it more detailed in <a href="https://stackoverflow.com/a/31215028/2516943">Thomas Dickey's answer</a>.</p>