public interface WorkspaceListener
| Modifier and Type | Method and Description |
|---|---|
void |
workspaceEvent(WorkspaceEvent event)
Called when a new event is fired.
|
void workspaceEvent(WorkspaceEvent event)
event - the event.Copyright © 2020. All Rights Reserved.