From 706a85bb3dfe34dbb61fa821ec6704e1f1ffadaf Mon Sep 17 00:00:00 2001
From: Aleksey Pivovarov <AMPivovarov@gmail.com>
Date: Fri, 7 Nov 2014 14:09:08 +0300
Subject: [PATCH] IDEA-132514: merge dialog - repaint scrollbar even if thumb
 position was not changed

---
 .../com/intellij/util/ui/ButtonlessScrollBarUI.java    | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java b/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java
index a816efde21c5..a8d7bb981ab4 100644
--- a/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java
+++ b/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java
@@ -275,14 +275,8 @@ public class ButtonlessScrollBarUI extends BasicScrollBarUI {
       super.setThumbBounds(x, y, width, height);
     }
     else {
-        /* If the thumbs bounds haven't changed, we're done.
-         */
-      if ((thumbRect.x == x) &&
-          (thumbRect.y == y) &&
-          (thumbRect.width == width) &&
-          (thumbRect.height == height)) {
-        return;
-      }
+      // We want to repaint whole scrollbar even if thumb wasn't moved (on small scroll of a big panel)
+      // Even if scrollbar wasn't changed itself, myRepaintCallback could need repaint
 
         /* Update thumbRect, and repaint the union of x,y,w,h and
          * the old thumbRect.