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

ConsoleHistoryText(ConsolePane pane)

Method Summary

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