public interface JHotDrawTool extends Tool
| Modifier and Type | Method and Description |
|---|---|
void |
addUndoableEditListener(UndoableEditListener l) |
JHotDrawAdapter<?> |
getAdapter()
Gets the
JHotDrawAdapter associated with this JHotDraw tool. |
ImageDisplay |
getDisplay()
Gets the
ImageDisplay associated with this JHotDraw tool. |
boolean |
isConstructing() |
void |
removeUndoableEditListener(UndoableEditListener listener) |
void |
setActionMap(ActionMap map) |
void |
setInputMap(InputMap map) |
activate, addToolListener, deactivate, draw, editCopy, editCut, editDelete, editDuplicate, editPaste, getToolTipText, removeToolListener, supportsHandleInteractionmouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleasedmouseDragged, mouseMovedkeyPressed, keyReleased, keyTypedvoid addUndoableEditListener(UndoableEditListener l)
void removeUndoableEditListener(UndoableEditListener listener)
void setInputMap(InputMap map)
void setActionMap(ActionMap map)
ImageDisplay getDisplay()
ImageDisplay associated with this JHotDraw tool.JHotDrawAdapter<?> getAdapter()
JHotDrawAdapter associated with this JHotDraw tool.boolean isConstructing()
Copyright © 2014–2022 ImageJ. All rights reserved.