From f4fc455f83b7bcf5191fc9203d9d5e2d8339ecca Mon Sep 17 00:00:00 2001
From: Neil Fraser <fraser@google.com>
Date: Thu, 30 Apr 2020 08:41:59 -0700
Subject: [PATCH] Add Ctrl-y (redo) support.

Does not trigger on Command-y since this is a Windows-only shortcut.
---
 core/blockly.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/blockly.js b/core/blockly.js
index ceeae2ae8..4295c00bd 100644
--- a/core/blockly.js
+++ b/core/blockly.js
@@ -249,6 +249,10 @@ Blockly.onKeyDown = function(e) {
       // 'z' for undo 'Z' is for redo.
       Blockly.hideChaff();
       mainWorkspace.undo(e.shiftKey);
+    } else if (e.ctrlKey && e.keyCode == Blockly.utils.KeyCodes.Y) {
+      // Ctrl-y is redo in Windows.  Command-y is never valid on Macs.
+      Blockly.hideChaff();
+      mainWorkspace.undo(true);
     }
   }
   // Common code for delete and cut.