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–2024 The Apache Software Foundation. All rights reserved.