Update gui.js

jmoenig · Aug 7, 2024 · a2e8e53 · a2e8e53
1 parent bff89c4
commit a2e8e53
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/gui.js b/src/gui.js
@@ -10474,6 +10474,7 @@ LibraryImportDialogMorph.prototype.importLibrary = function () {
     // restore captured user-blocks categories
     SpriteMorph.prototype.customCategories = this.originalCategories;
 
+/*
     if (this.hasCached(selectedLibrary)) {
         this.cachedLibrary(selectedLibrary).forEach(def => {
             def.receiver = ide.stage;
@@ -10485,6 +10486,7 @@ LibraryImportDialogMorph.prototype.importLibrary = function () {
         );
         ide.showMessage(`${localize('Imported')} ${libraryName}`, 2);
     } else {
+*/
         ide.showMessage(`${localize('Loading')} ${libraryName}`);
         ide.getURL(
             ide.resourceURL('libraries', selectedLibrary),
@@ -10493,8 +10495,10 @@ LibraryImportDialogMorph.prototype.importLibrary = function () {
                 this.isLoadingLibrary = true;
             }
         );
+/*
     }
-    ide.refreshIDE();
+    ide.refreshIDE(); // +++ get rid of this
+*/
 };
 
 LibraryImportDialogMorph.prototype.displayBlocks = function (libraryKey) {