From 7c71b9e7fc728a52b9d9302ac6f6514b5ee9d99a Mon Sep 17 00:00:00 2001 From: marisaleung Date: Tue, 20 Jun 2017 13:56:33 -0700 Subject: [PATCH] Fix checkbox delete bug. --- core/flyout_base.js | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/core/flyout_base.js b/core/flyout_base.js index a63f6eff5..d44adc853 100644 --- a/core/flyout_base.js +++ b/core/flyout_base.js @@ -253,6 +253,18 @@ Blockly.Flyout.prototype.init = function(targetWorkspace) { this.workspace_.getVariableById = this.targetWorkspace_.getVariableById.bind(this.targetWorkspace_); + + this.workspace_.deleteVariable = + this.targetWorkspace_.deleteVariable.bind(this.targetWorkspace_); + + this.workspace_.deleteVariableById = + this.targetWorkspace_.deleteVariableById.bind(this.targetWorkspace_); + + this.workspace_.renameVariable = + this.targetWorkspace_.renameVariable.bind(this.targetWorkspace_); + + this.workspace_.renameVariableById = + this.targetWorkspace_.renameVariableById.bind(this.targetWorkspace_); }; /**