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