diff --git a/src/gui.js b/src/gui.js index efc923d4a..b097a37d5 100644 --- 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) {