📄 modellistener.java
字号:
package gnu.kawa.models;/** Implemented by an object that wants to be notified when a model changes. * (Similar to a java.beans.PropertyChangeListener; should perhaps use that. * A disadvantage of PropertyChangeListener is that it requires allocating a * PropertyChangeEvent on each change but maybe "compatibility" is worth it.) */public interface ModelListener{ public void modelUpdated (Model model, Object key);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -