Hi,
I came across the following code in
javax.swing.plaf.basic.BasicScrollBarUI.installDefaults() :
if ("large".equals(scaleKey)){
scrollBarWidth *= 1.15;
incrGap *= 1.15;
decrGap *= 1.15;
} else if ("small".equals(scaleKey)){
scrollBarWidth *= 0.857;
incrGap *= 0.857;
* decrGap *= 0.714;*
} else if ("mini".equals(scaleKey)){
scrollBarWidth *= 0.714;
incrGap *= 0.714;
decrGap *= 0.714;
}
There is no comment indicating a reason why decrGap is multiplied by
0.714 - instead of 0.857 - in the second case, so I'd be tempted to
think it's a copy/paste error...
What do you think ?
KR,
Vicne