Module jEdit

Class HistoryTextArea

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, Scrollable

public class HistoryTextArea extends JTextArea
Text area with a history.
Version:
$Id: HistoryTextArea.java 24859 2018-04-10 23:06:33Z daleanson $
Author:
Slava Pestov
See Also:
  • Constructor Details

    • HistoryTextArea

      public HistoryTextArea(String name)
  • Method Details

    • getModel

      public HistoryModel getModel()
      Returns the underlying history controller.
      Since:
      jEdit 4.3pre1
    • setModel

      public void setModel(String name)
      Sets the history list controller.
      Parameters:
      name - The model name
      Since:
      jEdit 4.3pre1
    • setInstantPopups

      public void setInstantPopups(boolean instantPopups)
      Sets if selecting a value from the popup should immediately fire an ActionEvent.
    • getInstantPopups

      public boolean getInstantPopups()
      Returns if selecting a value from the popup should immediately fire an ActionEvent.
    • addCurrentToHistory

      public void addCurrentToHistory()
      Adds the currently entered item to the history.
    • setText

      public void setText(String text)
      Sets the displayed text.
      Overrides:
      setText in class JTextComponent
    • processKeyEvent

      protected void processKeyEvent(KeyEvent evt)
      Overrides:
      processKeyEvent in class JComponent
    • processMouseEvent

      protected void processMouseEvent(MouseEvent evt)
      Overrides:
      processMouseEvent in class JComponent