|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface WorkspaceEventChannel
Event channel for reporting workspace change events.
Method Summary | |
---|---|
void |
setListener(WorkspaceListener listener)
|
void |
workspaceCreated(String workspaceName,
ClonedInputSource inputSource)
|
Method Detail |
---|
void workspaceCreated(String workspaceName, ClonedInputSource inputSource)
void setListener(WorkspaceListener listener)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |