public class ScriptEditor extends Object
Modifier and Type | Class and Description |
---|---|
static interface |
ScriptEditor.SaveHandler |
static interface |
ScriptEditor.ScriptEditorUser |
Constructor and Description |
---|
ScriptEditor(String title,
String script,
ScriptEditor.SaveHandler handler) |
Modifier and Type | Method and Description |
---|---|
void |
deleteLine() |
void |
down(int lines) |
String |
getLine() |
void |
insertNewLine() |
void |
intput(String input) |
void |
printScript(ScriptEditor.ScriptEditorUser conversable) |
void |
save() |
void |
up(int lines) |
public static final String USAGE
public ScriptEditor(String title, String script, ScriptEditor.SaveHandler handler)
public void printScript(ScriptEditor.ScriptEditorUser conversable)
public void save() throws IOException, ScriptException
IOException
ScriptException
public void up(int lines)
public void down(int lines)
public void insertNewLine()
public void deleteLine()
public void intput(String input)
public String getLine()