console
Class ConsoleHistoryText

java.lang.Object
  extended by org.gjt.sp.jedit.gui.HistoryText
      extended by 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