Mercurial > hg > RemoteEditor > REPSessionManager

changeset 258:a31ac66e70af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author pin
date Tue, 09 Sep 2008 16:01:27 +0900
parents c121d1c5daee
children 9e36fd27e2b6
files rep/RPanel.java rep/SessionManager.java
diffstat 2 files changed, 7 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/rep/RPanel.java	Tue Sep 09 16:01:27 2008 +0900
+++ b/rep/RPanel.java	Tue Sep 09 16:01:27 2008 +0900
@@ -49,7 +49,7 @@
 	private String e_eid;
 	private String e_socketchannel;
 	private JButton selectButton;
-	//private SessionManager manager;
+	private JButton closeSession;
 	private SessionManagerEventListener listener;
 	private LinkedList<Editor> editorList;
 	private LinkedList<Session> sessionList;
@@ -63,7 +63,8 @@
 		s_sp = new JScrollPane(session_table);
 		editor_table = new JTable(e_tableModel);
 		e_sp = new JScrollPane(editor_table);
-		selectButton = new JButton("Select");
+		selectButton = new JButton("Select Session");
+		closeSession = new JButton("Close Session");
 		
 		
 		connectButton.setBounds(160, 5, 100, 20);
@@ -75,7 +76,8 @@
         s_sp.setBounds(5,30,400,100);
         e_sp.setPreferredSize(new Dimension(200, 200));
         e_sp.setBounds(5,140,400,100);
-		selectButton.setBounds(450, 180, 100, 20);
+		selectButton.setBounds(430, 215, 130, 20);
+		closeSession.setBounds(430, 105, 130, 20);
 				
 
 		this.setLayout(null);
@@ -85,9 +87,11 @@
         this.add(s_sp);
         this.add(e_sp);
 		this.add(selectButton);
+		this.add(closeSession);
 
 		connectButton.addActionListener(this);
 		selectButton.addActionListener(this);
+		closeSession.addActionListener(this);
 		editor_table.addMouseListener(this);
 
 	}
--- a/rep/SessionManager.java	Tue Sep 09 16:01:27 2008 +0900
+++ b/rep/SessionManager.java	Tue Sep 09 16:01:27 2008 +0900
@@ -579,14 +579,6 @@
 		waitingCommandInMerge.add(set);
 	}
 
-	private List<Session> getSessionList() {
-		return sessionList;
-	}
-
-	private List<Editor> getEditorList() {
-		return editorList;
-	}
-
 	public void buttonPressed(SessionManagerEvent event) {
 		try {
 			waitingQueue.put(event);