41 |
import java.util.EventListener; |
import java.util.EventListener; |
42 |
|
|
43 |
/** |
/** |
44 |
* UndoableEditListener interface |
* UndoableEditListener public interface |
45 |
* @author Andrew Selkirk |
* @author Andrew Selkirk |
46 |
* @author Ronald Veldema |
* @author Ronald Veldema |
47 |
*/ |
*/ |
51 |
* Undoable edit has happened |
* Undoable edit has happened |
52 |
* @param event Undoable Edit Event |
* @param event Undoable Edit Event |
53 |
*/ |
*/ |
54 |
public void undoableEditHappened(UndoableEditEvent event); |
void undoableEditHappened(UndoableEditEvent event); |
55 |
|
|
56 |
|
|
57 |
} // UndoableEditListener |
} // UndoableEditListener |