adjust scroll bars when refreshing the palette

HISTORY.md

@@ -23,6 +23,7 @@
 ### 2021-07-08
 * objects: added category labels to unified palette
 * gui: accelerated unified palette scrolling animation
+* adjust scroll bars when refreshing the palette
 
 ### 2021-07-07
 * morphic, gui: tweaked perish() animation

src/gui.js

@@ -2552,6 +2552,7 @@ IDE_Morph.prototype.refreshPalette = function (shouldIgnorePosition) {
     if (!shouldIgnorePosition) {
         this.palette.contents.setTop(oldTop);
     }
+    this.palette.adjustScrollBars();
 };
 
 IDE_Morph.prototype.scrollPaletteToCategory = function (category) {