From c8cd14eecd48a3c2523a459eab192d0eeb78af74 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Thu, 8 Jul 2021 09:11:40 +0200
Subject: [PATCH] adjust scroll bars when refreshing the palette

---
 HISTORY.md | 1 +
 src/gui.js | 1 +
 2 files changed, 2 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index 3929dfdd..819d0c1f 100755
--- a/HISTORY.md
+++ b/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
diff --git a/src/gui.js b/src/gui.js
index aa0365d2..805c04c5 100644
--- a/src/gui.js
+++ b/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) {