public class ConsoleHistoryText
extends org.gjt.sp.jedit.gui.HistoryText
| Constructor and Description |
|---|
ConsoleHistoryText(ConsolePane pane) |
| Modifier and Type | Method and Description |
|---|---|
int |
getInputStart() |
java.lang.String |
getText() |
void |
setText(java.lang.String text) |
public ConsoleHistoryText(ConsolePane pane)
public int getInputStart()
getInputStart in class org.gjt.sp.jedit.gui.HistoryTextpublic java.lang.String getText()
getText in class org.gjt.sp.jedit.gui.HistoryTextpublic void setText(java.lang.String text)
setText in class org.gjt.sp.jedit.gui.HistoryText