public interface WorkspaceEventSource
| Modifier and Type | Method and Description |
|---|---|
void |
addWorkspaceListener(WorkspaceListener listener)
Add a new listener to this source.
|
void |
removeWorkspaceListener(WorkspaceListener listener)
Remove a listener from this source.
|
void addWorkspaceListener(WorkspaceListener listener)
listener - the listener to add.void removeWorkspaceListener(WorkspaceListener listener)
listener - the listener to remove.Copyright © 2020. All Rights Reserved.