protected class MDIManager.BoardEventHandler extends java.lang.Object implements SelectionListener, javax.swing.event.UndoableEditListener, java.beans.PropertyChangeListener
Modifier | Constructor and Description |
---|---|
protected |
BoardEventHandler() |
Modifier and Type | Method and Description |
---|---|
void |
propertyChange(java.beans.PropertyChangeEvent e)
Handler for "PropertyChange" events sources from either PECanvas or its EditorKit.
|
void |
selectionUpdate(SelectionEvent e)
Handler for "Selection" events triggered e.g.
|
void |
undoableEditHappened(javax.swing.event.UndoableEditEvent e)
Handler for "UndoableEdit" events sourced by PECanvas.
|
public void selectionUpdate(SelectionEvent e)
selectionUpdate
in interface SelectionListener
public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)
undoableEditHappened
in interface javax.swing.event.UndoableEditListener
public void propertyChange(java.beans.PropertyChangeEvent e)
propertyChange
in interface java.beans.PropertyChangeListener
Submit a bug : syd@jpicedt.org