public interface WorkspaceEventChannel
| Modifier and Type | Method and Description | 
|---|---|
| void | setListener(WorkspaceListener listener) | 
| void | workspaceCreated(String workspaceName,
                ClonedInputSource inputSource) | 
void workspaceCreated(String workspaceName, ClonedInputSource inputSource)
void setListener(WorkspaceListener listener)
Copyright © 2004–2022 The Apache Software Foundation. All rights reserved.