CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-10 02:17:09 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #108 from cdjackson/toolbox-id

Browse Source 
Add option to set id on toolbox
This commit is contained in:
Neil Fraser
2016-04-21 05:54:32 -07:00
parent 6bdaab4958 4272cfb1c1
commit 1d199ae267
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
core/toolbox.js
View File

@@ -202,6 +202,10 @@ Blockly.Toolbox.prototype.populate_ = function(newTree) {
var childOut = rootOut.createNode(childIn.getAttribute('name'));
childOut.blocks = [];
treeOut.add(childOut);
var customId = childIn.getAttribute('id');
if (customId) {
childOut.setId(customId);
}
var custom = childIn.getAttribute('custom');
if (custom) {
// Variables and procedures are special dynamic categories.