CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2025-12-15 13:50:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix: update a moved function in developer tools so it loads (#6500)

Browse Source
This commit is contained in:
Maribeth Bottorff
2022-10-06 13:04:34 -07:00
committed by GitHub
parent 88a5bba646
commit ce3ec78501
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
demos/blockfactory/workspacefactory/wfactory_generator.js
View File

@@ -25,7 +25,7 @@ WorkspaceFactoryGenerator = function(model) {
var hiddenBlocks = document.createElement('div');
// Generate a globally unique ID for the hidden div element to avoid
// collisions.
var hiddenBlocksId = Blockly.utils.genUid();
var hiddenBlocksId = Blockly.utils.idGenerator.genUid();
hiddenBlocks.id = hiddenBlocksId;
hiddenBlocks.style.display = 'none';
document.body.appendChild(hiddenBlocks);

4
demos/blockfactory/workspacefactory/wfactory_model.js
View File

@@ -477,7 +477,7 @@ ListElement = function(type, opt_name) {
// Name of category. Can be changed by user. Null if separator.
this.name = opt_name ? opt_name : null;
// Unique ID of element. Does not change.
this.id = Blockly.utils.genUid();
this.id = Blockly.utils.idGenerator.genUid();
// Colour of category. Default is no colour. Null if separator.
this.colour = null;
// Stores a custom tag, if necessary. Null if no custom tag or separator.
@@ -538,7 +538,7 @@ ListElement.prototype.changeColour = function(colour) {
ListElement.prototype.copy = function() {
copy = new ListElement(this.type);
// Generate a unique ID for the element.
copy.id = Blockly.utils.genUid();
copy.id = Blockly.utils.idGenerator.genUid();
// Copy all attributes except ID.
copy.name = this.name;
copy.xml = this.xml;