Listener for Workspace-related events
Type Params | Return Type | Name and description |
---|---|---|
|
void |
projectAdded(Project project) |
|
void |
projectChanged(Project project) |
|
void |
projectClosed(Project project) |
|
void |
projectOpened(Project project) |
|
void |
projectRemoved(Project project) |
|
void |
workspaceSwitched(Workspace workspace) |
|
void |
workspaceSwitching(Workspace workspace) |