📄 selectionsupport.java
字号:
/*
$Author: $
$Date: $
$Revision: $
$NoKeywords: $
*/
package jp.co.ntl.awt.event;
import java.util.Vector;
public class SelectionSupport {
private Vector listeners = new Vector();
public void addSelectionListener(SelectionListener sl) {
listeners.addElement(sl);
}
public void removeSelectionListener(SelectionListener sl) {
listeners.removeElement(sl);
}
public void fireSelectionEvent(SelectionEvent se) {
Vector v;
synchronized(this) {
v = (Vector)listeners.clone();
}
for (int i = 0; i < v.size(); i++) {
SelectionListener sl = (SelectionListener)v.elementAt(i);
sl.selectionChanged(se);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -