| javax.swing.DefaultListModel
 org.gjt.sp.jedit.gui.HistoryModel
| HistoryModel | | public class HistoryModel extends DefaultListModel implements MutableListModel(Code) | | A history list. One history list can be used by several history text
fields. Note that the list model implementation is incomplete; no events
are fired when the history model changes.
author:
Slava Pestov
version:
$Id: HistoryModel.java 8265 2006-12-27 18:12:29Z vampire0 $ |
| HistoryModel | | public HistoryModel(String name)(Code) | | Creates a new history list. Calling this is normally not
necessary.
|
| addItem | | public void addItem(String text)(Code) | | Adds an item to the end of this history list, trimming the list
to the maximum number of items if necessary.
Parameters:
text - The item |
| clear | | public void clear()(Code) | | |
| getItem | | public String getItem(int index)(Code) | | Returns an item from the history list.
Parameters:
index - The index |
| getModel | | public static HistoryModel getModel(String name)(Code) | | Returns a named model. If the specified model does not
already exist, it will be created.
Parameters:
name - The model name |
| getName | | public String getName()(Code) | | Returns the name of this history list. This can be passed
to the HistoryTextField constructor.
|
| insertElementAt | | public void insertElementAt(Object obj, int index)(Code) | | |
| loadHistory | | public static void loadHistory()(Code) | | |
| removeAllElements | | public void removeAllElements()(Code) | | |
| saveHistory | | public static void saveHistory()(Code) | | |
| setMax | | public static void setMax(int max)(Code) | | |
|
|