ScrollBar: scale minimum and maximum thumb sizes

This commit is contained in:
Karl Tauber
2019-08-27 13:08:14 +02:00
parent bfc746cd85
commit 58a2abc0fc

View File

@@ -80,4 +80,14 @@ public class FlatScrollBarUI
g.setColor( thumbColor );
g.fillRect( thumbBounds.x, thumbBounds.y, thumbBounds.width, thumbBounds.height );
}
@Override
protected Dimension getMinimumThumbSize() {
return UIScale.scale( super.getMinimumThumbSize() );
}
@Override
protected Dimension getMaximumThumbSize() {
return UIScale.scale( super.getMaximumThumbSize() );
}
}