Mercurial > hg > RemoteEditor > REPSessionManager
comparison rep/RPanel.java @ 295:6deb6de8d0eb
*** empty log message ***
author | pin |
---|---|
date | Mon, 29 Sep 2008 14:13:19 +0900 |
parents | e58695b5118d |
children | 77f443f6dc9f |
comparison
equal
deleted
inserted
replaced
294:7a5798b7f10c | 295:6deb6de8d0eb |
---|---|
100 if (event.getSource() == connectButton) { | 100 if (event.getSource() == connectButton) { |
101 host = textField.getText(); | 101 host = textField.getText(); |
102 listener.buttonPressed(new ConnectButtonEvent(listener, host)); | 102 listener.buttonPressed(new ConnectButtonEvent(listener, host)); |
103 | 103 |
104 }else if(event.getSource() == selectButton){ | 104 }else if(event.getSource() == selectButton){ |
105 System.out.println("RPanel.actionPerformed() : editorSelectedRow = " + editor_table.getSelectedRow()); | 105 //System.out.println("RPanel.actionPerformed() : editorSelectedRow = " + editor_table.getSelectedRow()); |
106 listener.buttonPressed( | 106 listener.buttonPressed( |
107 new SelectButtonEvent(editorList.get(editor_table.getSelectedRow()), | 107 new SelectButtonEvent(editorList.get(editor_table.getSelectedRow()), |
108 sessionList.get(session_table.getSelectedRow()), listener)); | 108 sessionList.get(session_table.getSelectedRow()), listener)); |
109 }else if(event.getSource() == closeButton){ | 109 }else if(event.getSource() == closeButton){ |
110 listener.buttonPressed(new CloseButtonEvent(sessionList.get(session_table.getSelectedRow()), listener)); | 110 listener.buttonPressed(new CloseButtonEvent(sessionList.get(session_table.getSelectedRow()), listener)); |
111 } | 111 } |
112 } | 112 } |
113 | 113 |
114 public void setTableEditor(int eid, REPSocketChannel<REPCommand> channel) { | 114 public void setTableEditor(int eid, REPSocketChannel<REPCommand> channel) { |
115 System.out.println("RPanel.setTableEditor() : channel = " + channel); | 115 //System.out.println("RPanel.setTableEditor() : channel = " + channel); |
116 Vector<String> editor = new Vector<String>(); | 116 Vector<String> editor = new Vector<String>(); |
117 e_eid = "Editor : " + eid; | 117 e_eid = "Editor : " + eid; |
118 e_socketchannel = "SocketChannel : " + channel; | 118 e_socketchannel = "SocketChannel : " + channel; |
119 editor.add(e_eid); | 119 editor.add(e_eid); |
120 editor.add(e_socketchannel); | 120 editor.add(e_socketchannel); |
161 public void addREPActionListener(SessionManagerEventListener listener) { | 161 public void addREPActionListener(SessionManagerEventListener listener) { |
162 this.listener = listener; | 162 this.listener = listener; |
163 } | 163 } |
164 | 164 |
165 public void mouseClicked(MouseEvent e) { | 165 public void mouseClicked(MouseEvent e) { |
166 System.out.println("RPanel.mouseClicked() : editorChannel = " + editorList.get(editor_table.getSelectedRow()).getChannel()); | 166 //System.out.println("RPanel.mouseClicked() : editorChannel = " + editorList.get(editor_table.getSelectedRow()).getChannel()); |
167 } | 167 } |
168 | 168 |
169 public void mouseEntered(MouseEvent e) { | 169 public void mouseEntered(MouseEvent e) { |
170 | 170 |
171 } | 171 } |