public class ScaleTool extends MouseTool
Sequence of mouse operations :
lastMouseEvent, mouseOutside
Constructor and Description |
---|
ScaleTool(EditorKit kit,
Element target) |
Modifier and Type | Method and Description |
---|---|
void |
flush()
Called when this tool is being replaced by another tool in the hosting kit
|
void |
mouseDragged(PEMouseEvent e)
this default implementation simply stores the given mouse-event in lastMouseEvent field
|
void |
mouseMoved(PEMouseEvent e)
this default implementation simply stores the given mouse-event in lastMouseEvent field
|
void |
mousePressed(PEMouseEvent e)
set the source rect, then the destination rect
|
void |
mouseReleased(PEMouseEvent e)
this default implementation simply stores the given mouse-event in lastMouseEvent field
|
void |
paint(java.awt.Graphics2D g,
java.awt.geom.Rectangle2D allocation,
double scale)
Allow the tool to paint shapes that are specific to this tool.
|
getLastMouseEvent, init, keyPressed, keyReleased, mouseClicked, mouseEntered, mouseExited, processKeyEvent
public void mousePressed(PEMouseEvent e)
mousePressed
in interface PEMouseInputListener
mousePressed
in class MouseTool
public void mouseReleased(PEMouseEvent e)
MouseTool
mouseReleased
in interface PEMouseInputListener
mouseReleased
in class MouseTool
public void mouseMoved(PEMouseEvent e)
MouseTool
mouseMoved
in interface PEMouseInputListener
mouseMoved
in class MouseTool
public void mouseDragged(PEMouseEvent e)
MouseTool
mouseDragged
in interface PEMouseInputListener
mouseDragged
in class MouseTool
public void flush()
Submit a bug : syd@jpicedt.org