org.gjt.sp.jedit.gui
Class HistoryModel

java.lang.Object
  javax.swing.AbstractListModel
      org.gjt.sp.jedit.gui.HistoryModel

All Implemented Interfaces:

javax.swing.ListModel, java.io.Serializable

public class HistoryModel

extends javax.swing.AbstractListModel

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.

Version:

$Id: HistoryModel.java,v 1.17 2004/05/29 01:55:25 spestov Exp $

Author:

Slava Pestov

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.AbstractListModel

listenerList

Constructor Summary

HistoryModel(java.lang.String name)
Creates a new history list.

Method Summary

void	addItem(java.lang.String text) Adds an item to the end of this history list, trimming the list to the maximum number of items if necessary.
void	clear() Removes all entries from this history model.
java.lang.Object	getElementAt(int index) Returns an item from the history list.
java.lang.String	getItem(int index) Returns an item from the history list.
static HistoryModel	getModel(java.lang.String name) Returns a named model.
java.lang.String	getName() Returns the name of this history list.
int	getSize() Returns the number of elements in this history list.
static void	loadHistory()
static void	propertiesChanged()
static void	saveHistory()

Methods inherited from class javax.swing.AbstractListModel

addListDataListener, fireContentsChanged, fireIntervalAdded, fireIntervalRemoved, getListDataListeners, getListeners, removeListDataListener

Methods inherited from class java.lang.Object

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

Constructor Detail

HistoryModel

public HistoryModel(java.lang.String name)

Creates a new history list. Calling this is normally not necessary.

Method Detail

addItem

public void addItem(java.lang.String text)

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

getItem

public java.lang.String getItem(int index)

Returns an item from the history list.

Parameters:

index - The index

getElementAt

public java.lang.Object getElementAt(int index)

Returns an item from the history list. This method returns the same thing as getItem(int) and only exists so that HistoryModel instances can be used as list models.

Parameters:

index - The index

Since:

jEdit 4.2pre2

clear

public void clear()

Removes all entries from this history model.

Since:

jEdit 4.2pre2

getSize

public int getSize()

Returns the number of elements in this history list.

getName

public java.lang.String getName()

Returns the name of this history list. This can be passed to the HistoryTextField constructor.

getModel

public static HistoryModel getModel(java.lang.String name)

Returns a named model. If the specified model does not already exist, it will be created.

Parameters:

name - The model name

loadHistory

public static void loadHistory()

saveHistory

public static void saveHistory()

propertiesChanged

public static void propertiesChanged()