debugger/swing_utils/src/main/com/thesett/aima/logic/fol/wam/debugger/swing/DiscreetScrollBarUI.java
protected void paintThumb(Graphics g, JComponent c, Rectangle thumbBounds)
    {
        if (thumbBounds.isEmpty() || !scrollbar.isEnabled())
        {
            return;
        }

        g.translate(thumbBounds.x, thumbBounds.y);

        boolean vertical = isVertical();
        int hgap = vertical ? 2 : 1;
        int vgap = vertical ? 1 : 2;

        int w = thumbBounds.width - (hgap * 2);
        int h = thumbBounds.height - (vgap * 2);

        // leave one pixel between thumb and right or bottom edge
        if (vertical)
        {
            h -= 1;
        }
        else
        {
            w -= 1;
        }

        g.setColor(colorScheme.getToolingActiveBackground());
        g.fillRect(hgap + 1, vgap + 1, w - 1, h - 1);

        g.setColor(colorScheme.getToolingActiveBackground());
        g.drawRoundRect(hgap, vgap, w, h, 3, 3);
        g.translate(-thumbBounds.x, -thumbBounds.y);
    }
protected void paintThumb(Graphics g, JComponent c, Rectangle thumbBounds)
    {
        if (thumbBounds.isEmpty() || !scrollbar.isEnabled())
        {
            return;
        }

        g.translate(thumbBounds.x, thumbBounds.y);

        boolean vertical = isVertical();
        int hgap = vertical ? 2 : 1;
        int vgap = vertical ? 1 : 2;

        int w = thumbBounds.width - (hgap * 2);
        int h = thumbBounds.height - (vgap * 2);

        // leave one pixel between thumb and right or bottom edge
        if (vertical)
        {
            h -= 1;
        }
        else
        {
            w -= 1;
        }

        g.setColor(colorScheme.getToolingActiveBackground());
        g.fillRect(hgap + 1, vgap + 1, w - 1, h - 1);

        g.setColor(colorScheme.getToolingActiveBackground());
        g.drawRoundRect(hgap, vgap, w, h, 3, 3);
        g.translate(-thumbBounds.x, -thumbBounds.y);
    }
{@inheritDoc}