Update gui.js

jmoenig · Aug 7, 2024 · a6a63df · a6a63df
1 parent f67f1b6
commit a6a63df
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/gui.js b/src/gui.js
@@ -6613,6 +6613,7 @@ IDE_Morph.prototype.rawOpenCloudDataString = function (str) {
 };
 
 IDE_Morph.prototype.openBlocksString = function (str, name, silently) {
+    console.log('opening library', name, silently) // +++
     var msg;
     this.nextSteps([
         () => msg = this.showMessage('Opening blocks...'),
@@ -10492,7 +10493,7 @@ LibraryImportDialogMorph.prototype.importLibrary = function () {
             ide.resourceURL('libraries', selectedLibrary),
             libraryText => {
                 ide.droppedText(libraryText, libraryName);
-                // this.isLoadingLibrary = true;
+                // +++ this.isLoadingLibrary = true;
             }
         );
 /*