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

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