diff rep/gui/SessionManagerEvent.java @ 382:4b87f89b3afd

REP Session Manager (Java version) new structure
author one@firefly.cr.ie.u-ryukyu.ac.jp
date Mon, 10 Nov 2008 22:07:45 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rep/gui/SessionManagerEvent.java	Mon Nov 10 22:07:45 2008 +0900
@@ -0,0 +1,9 @@
+package rep.gui;
+
+import rep.SessionManager;
+
+public interface SessionManagerEvent {
+
+	void exec(SessionManager manager);
+
+}