MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-132514: merge dialog - repaint scrollbar even if thumb position was not changed

Browse Source
This commit is contained in:
Aleksey Pivovarov
2014-11-07 14:24:27 +03:00
parent 112030d6d3
commit 706a85bb3d
1 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java
+2 -8
View File
@@ -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.