view test/editortest/REPText.java @ 492:d2afd4efdd2d

remove unMergedCmds, use sentList instead.
author one
date Sat, 23 Oct 2010 16:15:14 +0900
parents b7f42fc75a36
children
line wrap: on
line source

package test.editortest;

import java.util.List;

public interface REPText {
	
	public void insert(int lineno, String text);
	
	public String delete(int lineno);
	
	public List<String> list();
	
	public void addTextListener(REPTextListener listener);

	public int size();

	public String get(int i);

}