debugger/swing_utils/src/main/com/thesett/aima/logic/fol/wam/debugger/swing/GripComponentMouseMover.java
public void mouseDragged(MouseEvent e)
    {
        if (pressed)
        {
            int deltaY = e.getYOnScreen() - lastY;
            lastY = e.getYOnScreen();

            int deltaX = e.getXOnScreen() - lastX;
            lastX = e.getXOnScreen();

            boolean revalidate = false;

            if (deltaY != 0)
            {
                resizeable.deltaY(-deltaY);
                revalidate = true;
            }

            if (deltaX != 0)
            {
                resizeable.deltaX(-deltaX);
                revalidate = true;
            }

            if (revalidate)
            {
                SwingUtilities.invokeLater(new Runnable()
                    {
                        public void run()
                        {
                            gripComponent.getParent().revalidate();
                        }
                    });
            }
        }
    }
public void mouseDragged(MouseEvent e)
    {
        if (pressed)
        {
            int deltaY = e.getYOnScreen() - lastY;
            lastY = e.getYOnScreen();

            int deltaX = e.getXOnScreen() - lastX;
            lastX = e.getXOnScreen();

            boolean revalidate = false;

            if (deltaY != 0)
            {
                resizeable.deltaY(-deltaY);
                revalidate = true;
            }

            if (deltaX != 0)
            {
                resizeable.deltaX(-deltaX);
                revalidate = true;
            }

            if (revalidate)
            {
                SwingUtilities.invokeLater(new Runnable()
                    {
                        public void run()
                        {
                            gripComponent.getParent().revalidate();
                        }
                    });
            }
        }
    }
public void mouseDragged ( MouseEvent e ) { if ( pressed ) { int deltaY = e . getYOnScreen ( ) - lastY ; lastY = e . getYOnScreen ( ) ; int deltaX = e . getXOnScreen ( ) - lastX ; lastX = e . getXOnScreen ( ) ; boolean revalidate = false ; if ( deltaY != 0 ) { resizeable . deltaY ( - deltaY ) ; revalidate = true ; } if ( deltaX != 0 ) { resizeable . deltaX ( - deltaX ) ; revalidate = true ; } if ( revalidate ) { SwingUtilities . invokeLater ( new Runnable ( ) { public void run ( ) { gripComponent . getParent ( ) . revalidate ( ) ; } } ) ; } } }
{@inheritDoc}

<p/>Applies mouse dragging as a resizing delta to the re-sizer.
{ @inheritDoc }