mirror of
https://github.com/google/blockly.git
synced 2026-01-10 18:37:09 +01:00
Close toolbox workspace toolbox when update block library (#610)
This commit is contained in:
committed by
picklesrus
parent
a1ead192a6
commit
64d34b3cdc
@@ -1248,6 +1248,7 @@ WorkspaceFactoryController.prototype.setBlockLibCategory =
|
||||
|
||||
// Update the toolbox and toolboxWorkspace.
|
||||
this.toolbox.replaceChild(categoryXml, blockLibCategory);
|
||||
this.toolboxWorkspace.toolbox_.clearSelection();
|
||||
this.toolboxWorkspace.updateToolbox(this.toolbox);
|
||||
|
||||
// Update the block library types.
|
||||
|
||||
Reference in New Issue
Block a user