📄 editorlistenersupport.java
字号:
package com.anthonyeden.jnm.event;
import java.util.Iterator;
import java.util.ArrayList;
public class EditorListenerSupport{
public EditorListenerSupport(Object source){
this.source = source;
listeners = new ArrayList();
}
public void addEditorListener(EditorListener l){
listeners.add(l);
}
public void removeEditorListener(EditorListener l){
listeners.remove(l);
}
public void fireSaved(){
ArrayList l = null;
EditorEvent evt = new EditorEvent(source);
synchronized(this){
l = (ArrayList)(listeners.clone());
}
Iterator i = l.iterator();
while(i.hasNext()){
((EditorListener)i.next()).saved(evt);
}
}
private Object source;
private ArrayList listeners;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -