Generated by
JDiff

Class org.jhotdraw.draw.DrawingEditorProxy

Changed Methods
Tool getTool() Change in return type from org.jhotdraw.draw.Tool to org.jhotdraw.draw.tool.Tool.
 
void setTool(Tool) Change in signature from org.jhotdraw.draw.Tool to org.jhotdraw.draw.tool.Tool.