From bbd76e462b616e67cd3f6ac9e274ef5fdc3c103a Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Fri, 2 Jul 2021 21:35:42 +0200
Subject: [PATCH] tweaked unified palette scrolling animation (made it more
 noticeable)

---
 src/gui.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/gui.js b/src/gui.js
index 5a8b3d67..8f4e1ceb 100644
--- a/src/gui.js
+++ b/src/gui.js
@@ -2537,7 +2537,7 @@ IDE_Morph.prototype.scrollPaletteToCategory = function (category) {
             block => block.category === category
         ),
         delta = palette.top() - firstInCategory.top() + palette.padding,
-        msecs = this.isAnimating ? 100 : 0;
+        msecs = this.isAnimating ? 700 : 0;
 
         this.world().animations.push(new Animation(
             y => { // setter
@@ -2548,7 +2548,7 @@ IDE_Morph.prototype.scrollPaletteToCategory = function (category) {
             () => palette.contents.top(), // getter
             delta, // delta
             msecs, // duration in ms
-            'cubic_in', // easing
+            t => Math.pow(t, 6), // easing
             null // onComplete
         ));
 };