public interface IWorkbenchListener
Modifier and Type | Method and Description |
---|---|
void |
workspaceChanged(WorkspaceChangeEvent event)
Notifies the listener that the workspace has changed.
|
void workspaceChanged(WorkspaceChangeEvent event)
event
- an event object containing more information about the
workspace change, such as the new and the old workspace