annotate rep/SessionManagerGUI.java @ 287:1ff8bfc0a99a test-editor

*** empty log message ***
author kono
date Sun, 28 Sep 2008 15:46:36 +0900
parents a549bd4dadb8
children
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 void invokeLater(Runnable doRun) ;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
10 }