diff test/editortest/REPText.java @ 416:b7f42fc75a36

(no commit message)
author one
date Wed, 31 Dec 2008 14:47:39 +0900
parents 784a4d67e6a5
children
line wrap: on
line diff
--- a/test/editortest/REPText.java	Tue Dec 09 16:34:41 2008 +0900
+++ b/test/editortest/REPText.java	Wed Dec 31 14:47:39 2008 +0900
@@ -6,8 +6,14 @@
 	
 	public void insert(int lineno, String text);
 	
-	public String delete(int lineno, String text);
+	public String delete(int lineno);
+	
+	public List<String> list();
+	
+	public void addTextListener(REPTextListener listener);
 
-	public List<String> list();
+	public int size();
+
+	public String get(int i);
 
 }