debugger/swing_utils/src/main/com/thesett/aima/logic/fol/wam/debugger/swing/DiscreetScrollBarUI.java
protected Dimension getMinimumThumbSize()
    {
        int thickness = THICKNESS;

        return isVertical() ? new Dimension(thickness, thickness * 2) : new Dimension(thickness * 2, thickness);
    }
protected Dimension getMinimumThumbSize()
    {
        int thickness = THICKNESS;

        return isVertical() ? new Dimension(thickness, thickness * 2) : new Dimension(thickness * 2, thickness);
    }
protected Dimension getMinimumThumbSize ( ) { int thickness = THICKNESS ; return isVertical ( ) ? new Dimension ( thickness , thickness * 2 ) : new Dimension ( thickness * 2 , thickness ) ; }
{@inheritDoc}
{