40 |
import java.util.EventListener; |
import java.util.EventListener; |
41 |
|
|
42 |
/** |
/** |
43 |
* DocumentListener interface |
* DocumentListener public interface |
44 |
* @author Andrew Selkirk |
* @author Andrew Selkirk |
45 |
* @author Ronald Veldema |
* @author Ronald Veldema |
46 |
*/ |
*/ |
50 |
* Changed update |
* Changed update |
51 |
* @param event Document Event |
* @param event Document Event |
52 |
*/ |
*/ |
53 |
public void changedUpdate(DocumentEvent event); |
void changedUpdate(DocumentEvent event); |
54 |
|
|
55 |
/** |
/** |
56 |
* Insert update |
* Insert update |
57 |
* @param event Document Event |
* @param event Document Event |
58 |
*/ |
*/ |
59 |
public void insertUpdate(DocumentEvent event); |
void insertUpdate(DocumentEvent event); |
60 |
|
|
61 |
/** |
/** |
62 |
* Remove update |
* Remove update |
63 |
* @param event Document Event |
* @param event Document Event |
64 |
*/ |
*/ |
65 |
public void removeUpdate(DocumentEvent event); |
void removeUpdate(DocumentEvent event); |
66 |
|
|
67 |
|
|
68 |
} // DocumentListener |
} // DocumentListener |