public interface WorkspaceListener
| Modifier and Type | Method and Description |
|---|---|
void |
workspaceEventOccurred(WorkspaceEvent event)
Invoked whenever any of the enumerated events specified within
WorkspaceEvent occur.
|
void workspaceEventOccurred(WorkspaceEvent event)
event - WorkspaceEvent object holding information regarding the triggered
event.