Change workspace name to playgroundWorkspace.

This commit is contained in:
marisaleung
2017-07-27 16:11:41 -07:00
parent 022010d722
commit 103c10eddb
13 changed files with 46 additions and 45 deletions

View File

@@ -113,16 +113,16 @@
</xml>
<script>
var workspace = Blockly.inject('blocklyDiv',
var demoWorkspace = Blockly.inject('blocklyDiv',
{media: '../../media/',
toolbox: document.getElementById('toolbox')});
Blockly.Xml.domToWorkspace(document.getElementById('startBlocks'),
workspace);
demoWorkspace);
function showCode() {
// Generate JavaScript code and display it.
Blockly.JavaScript.INFINITE_LOOP_TRAP = null;
var code = Blockly.JavaScript.workspaceToCode(workspace);
var code = Blockly.JavaScript.workspaceToCode(demoWorkspace);
alert(code);
}
@@ -131,7 +131,7 @@
window.LoopTrap = 1000;
Blockly.JavaScript.INFINITE_LOOP_TRAP =
'if (--window.LoopTrap == 0) throw "Infinite loop.";\n';
var code = Blockly.JavaScript.workspaceToCode(workspace);
var code = Blockly.JavaScript.workspaceToCode(demoWorkspace);
Blockly.JavaScript.INFINITE_LOOP_TRAP = null;
try {
eval(code);