Make finished-loading events be UI events

This commit is contained in:
Neil Fraser
2019-10-17 16:48:39 -07:00
committed by Neil Fraser
parent 8e5797e2bc
commit 6d4c52fb6f
3 changed files with 7 additions and 4 deletions

View File

@@ -65,7 +65,7 @@
primaryWorkspace.addChangeListener(mirrorEvent);
function mirrorEvent(primaryEvent) {
if (primaryEvent.type == Blockly.Events.UI) {
if (primaryEvent instanceof Blockly.Events.Ui) {
return; // Don't mirror UI events.
}
// Convert event to JSON. This could then be transmitted across the net.