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

(no commit message)
author one
date Wed, 31 Dec 2008 14:47:39 +0900
parents 784a4d67e6a5
children
comparison
equal deleted inserted replaced
415:648c676bf9df 416:b7f42fc75a36
4 4
5 public interface REPText { 5 public interface REPText {
6 6
7 public void insert(int lineno, String text); 7 public void insert(int lineno, String text);
8 8
9 public String delete(int lineno, String text); 9 public String delete(int lineno);
10
11 public List<String> list();
12
13 public void addTextListener(REPTextListener listener);
10 14
11 public List<String> list(); 15 public int size();
16
17 public String get(int i);
12 18
13 } 19 }