| 351,7 → 351,6 |
|---|
| |
| document.getElementById('file-input').addEventListener('change', readSingleFile, false); |
| |
| // var toolbox = document.getElementById("toolbox"); |
| var toolbox = loadDoc("toolbox.xml"); |
| |
| var options = { |
| 383,16 → 382,8 |
|---|
| snap: true} |
| }; |
| |
| /* Inject your workspace */ |
| var workspace = Blockly.inject('blocklyDiv', options); |
| |
| /* Load Workspace Blocks from XML to workspace. Remove all code below if no blocks to load */ |
| |
| /* TODO: Change workspace blocks XML ID if necessary. Can export workspace blocks XML from Workspace Factory. */ |
| //var workspaceBlocks = document.getElementById("workspaceBlocks"); |
| /* Load blocks to workspace. */ |
| // Blockly.Xml.domToWorkspace(workspaceBlocks, workspace); |
| |
| <?php |
| |
| if (isset($_GET["decay"])){ |
| 407,11 → 398,13 |
|---|
| ?> |
| |
| //displayContents(workspaceBlocks); |
| |
| |
| |
| </script> |
| <div id="drawing"></div> |
| </script> |
| <div id="drawing"></div> |
| <?php |
| $hostname = gethostname(); |
| if ($hostname != "belle2.ijs.si") { |
| echo "<a href='update.php'>Update code from the central server</a>"; |
| } |
| ?> |
| </body> |
| <a href="update.php">Update code</a> |
| </html> |