📄 figurechangelistener.java
字号:
/* * @(#)FigureChangeListener.java 5.1 * */package CH.ifa.draw.framework;import java.awt.Rectangle;import java.util.EventListener;/** * Listener interested in Figure changes. * */public interface FigureChangeListener extends EventListener { /** * Sent when an area is invalid */ public void figureInvalidated(FigureChangeEvent e); /** * Sent when a figure changed */ public void figureChanged(FigureChangeEvent e); /** * Sent when a figure was removed */ public void figureRemoved(FigureChangeEvent e); /** * Sent when requesting to remove a figure. */ public void figureRequestRemove(FigureChangeEvent e); /** * Sent when an update should happen. * */ public void figureRequestUpdate(FigureChangeEvent e);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -