From 1ba6bb887decca882b49332773e6dced155a1e57 Mon Sep 17 00:00:00 2001
From: alschmiedt <aschmiedt@google.com>
Date: Thu, 1 Aug 2019 10:05:56 -0700
Subject: [PATCH] Fixes undo (#2766)

---
 core/blockly.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/blockly.js b/core/blockly.js
index 2cf910226..6e3a3ddd8 100644
--- a/core/blockly.js
+++ b/core/blockly.js
@@ -263,7 +263,7 @@ Blockly.onKeyDown_ = function(e) {
     } else if (e.keyCode == 90) {
       // 'z' for undo 'Z' is for redo.
       Blockly.hideChaff();
-      workspace.undo(e.shiftKey);
+      mainWorkspace.undo(e.shiftKey);
     }
   } else if (Blockly.keyboardAccessibilityMode &&
       Blockly.Navigation.navigate(e)) {