public interface WorkspaceChangeListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
workspacePropertiesChanged(WorkspaceChangeEvent e)
Invoked when workspace properties have changed.
|
void workspacePropertiesChanged(WorkspaceChangeEvent e)
e
- the workspace change event