allow #open: to fetch and load libraries from a URL

jmoenig · Dec 11, 2023 · c5d8115 · c5d8115
1 parent b863ffc
commit c5d8115
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/gui.js b/src/gui.js
@@ -545,6 +545,14 @@ IDE_Morph.prototype.openIn = function (world) {
                                     projectData.indexOf('<project') === 0
                                 ) {
                                     this.rawOpenProjectString(projectData);
+                                } else if (
+                                    projectData.indexOf('<blocks') === 0
+                                ) {
+                                    this.rawOpenBlocksString(
+                                        projectData,
+                                        null, // name, optional
+                                        true  // silently
+                                    );
                                 }
                                 this.hasChangedMedia = true;
                             },