?? workspacesessionmanager.java
字號:
package connex.session;
import connex.core.WS.WorkspaceJoinListener;
import connex.core.WS.Workspace;
/**
* <p>Title: </p>
*
* <p>Description: </p>
*
* <p>Copyright: Copyright (c) 2006</p>
*
* <p>Company: FH-Dortmund</p>
*
* @author not attributable
* @version 1.0
*/
public class WorkspaceSessionManager implements WorkspaceJoinListener {
private static WorkspaceSessionManager instance = null;
private WorkspaceSession wSession = null;
private WorkspaceSessionManager() {
}
public void receiveJoinedWorkspace(Workspace ws) {
if (wSession != null) {
if (wSession.isRunning()) {
wSession.stop();
}
}
wSession = new WorkspaceSession(ws);
wSession.start();
}
public static WorkspaceSessionManager getInstance() {
if (instance == null) {
instance = new WorkspaceSessionManager();
}
return instance;
}
public void close() {
if (wSession != null) {
if (wSession.isRunning()) {
wSession.stop();
}
}
}
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -