console

Class ConsoleHistoryText

java.lang.Object

org.gjt.sp.jedit.gui.HistoryText

console.ConsoleHistoryText

public class ConsoleHistoryText
extends org.gjt.sp.jedit.gui.HistoryText

Constructor Summary

Constructors

Constructor and Description
ConsoleHistoryText(ConsolePane pane)

Method Summary

Methods

Modifier and Type	Method and Description
int	getInputStart()
java.lang.String	getText()
void	setText(java.lang.String text)

Methods inherited from class org.gjt.sp.jedit.gui.HistoryText

addCurrentToHistory, doBackwardSearch, doForwardSearch, fireActionPerformed, getDocument, getIndex, getInstantPopups, getModel, historyNext, historyPrevious, setIndex, setInstantPopups, setModel, showPopupMenu, showPopupMenu

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConsoleHistoryText

public ConsoleHistoryText(ConsolePane pane)

Method Detail

getInputStart

public int getInputStart()

Overrides:

getInputStart in class org.gjt.sp.jedit.gui.HistoryText

getText

public java.lang.String getText()

Overrides:

getText in class org.gjt.sp.jedit.gui.HistoryText

setText

public void setText(java.lang.String text)

Overrides:

setText in class org.gjt.sp.jedit.gui.HistoryText