--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rep/SelectButtonEvent.java	Sun Aug 31 12:31:00 2008 +0900
@@ -0,0 +1,35 @@
+package rep;
+
+import rep.channel.REPSocketChannel;
+
+public class SelectButtonEvent<P> implements SessionManagerEvent{
+
+	private REPSocketChannel<P> editorChannel;
+	private int sid;
+	private int eid;
+	private SessionManager manager;
+
+	public SelectButtonEvent(EditorPlus<P> plus, SessionPlus plus2, SessionManagerEventListener listener) {
+		this.editorChannel = plus.getChannel();
+		this.eid = plus.getEID();
+		this.sid = plus2.getSID();
+		this.manager = (SessionManager)listener;
+	}
+
+	public REPSocketChannel<P> getEditorChannel() {
+		return editorChannel;
+	}
+
+	public int getSID() {
+		return sid;
+	}
+
+	public int getEID() {
+		return eid;
+	}
+
+	public void exec() {
+		manager.selectSession(this);
+	}
+
+}