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);
    }
{@inheritDoc}