Class RotateTool

  • All Implemented Interfaces:
    java.awt.event.KeyListener, java.util.EventListener, PEMouseInputListener

    public class RotateTool
    extends MouseTool
    A MouseTool used to rotate a target Element using a origin point and a mobile point used to compute the rotation angle..

    Sequence of mouse operations :

    • mousePressed -> set origin
    • mouseDragged -> set initial position of mobile point ; draw corresponding vector
    • mouseReleased -> switch to "move mobile point" task
    • mouseMoved -> move mobile point, and rotate target element accordingly
    • mousePressed -> complete operation, then reset.
    Since:
    jPicEdt 1.4
    Version:
    $Id: RotateTool.java,v 1.6.2.1 2007/09/02 11:56:28 reynal Exp $
    Author:
    Sylvain Reynal