Merge pull request #3287 from bromagosa/allow-open-load-lib

allow #open: to fetch and load libraries from a URL
jmoenig · Dec 12, 2023 · c7868db · c7868db
2 parents fe66eab + c5d8115
commit c7868db
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;
                             },