# HG changeset patch
# User pin
# Date 1198228813 -32400
# Node ID b299e82cc05f9e3ef6697c7d4c46d40c94c17f51
# Parent  c5017ea49e5fd5ab8f5189c1a25300ef0a90e1ae
*** empty log message ***

diff -r c5017ea49e5f -r b299e82cc05f rep/EditorList.java
--- a/rep/EditorList.java	Fri Dec 21 17:56:24 2007 +0900
+++ b/rep/EditorList.java	Fri Dec 21 18:20:13 2007 +0900
@@ -99,4 +99,10 @@
 		return null;
 	}
 
+
+	public void addEditor(Editor editor) {
+		// TODO Auto-generated method stub
+		editorList.add(editor);
+	}
+
 }