Skip to content
Snippets Groups Projects
Commit 1175e2c9 authored by DD Liu's avatar DD Liu Committed by GitHub
Browse files

Merge pull request #459 from fsih/clearWorkspace

Refresh workspace when setting it to visible
parents c2076732 0fd6c4d8
No related branches found
No related tags found
No related merge requests found
......@@ -63,8 +63,10 @@ class Blocks extends React.Component {
}
// @todo hack to resize blockly manually in case resize happened while hidden
// @todo hack to reload the workspace due to gui bug #413
if (this.props.isVisible) { // Scripts tab
this.workspace.setVisible(true);
this.props.vm.refreshWorkspace();
window.dispatchEvent(new Event('resize'));
this.workspace.toolbox_.refreshSelection();
} else {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment