annotate rep/SessionManagerGUI.java @ 279:e58695b5118d

*** empty log message ***
author kono
date Sat, 27 Sep 2008 14:48:02 +0900
parents 18d6a7140fa3
children a549bd4dadb8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 195
diff changeset
3 import java.util.LinkedList;
5
91a33a634fef *** empty log message ***
pin
parents: 2
diff changeset
4
279
e58695b5118d *** empty log message ***
kono
parents: 222
diff changeset
5 public interface SessionManagerGUI {
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
6
279
e58695b5118d *** empty log message ***
kono
parents: 222
diff changeset
7 public void update(LinkedList<Session> slist, LinkedList<Editor> elist);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
8
279
e58695b5118d *** empty log message ***
kono
parents: 222
diff changeset
9 public void addREPActionListener(SessionManager manager);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 5
diff changeset
10
279
e58695b5118d *** empty log message ***
kono
parents: 222
diff changeset
11 void invokeLater(Runnable doRun) ;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
12 }