org.gjt.sp.jedit.buffer
Class KillRing
java.lang.Object
org.gjt.sp.jedit.buffer.KillRing
- All Implemented Interfaces:
- javax.swing.ListModel, MutableListModel
- Direct Known Subclasses:
- JEditKillRing
public class KillRing
- extends java.lang.Object
- implements MutableListModel
The kill ring retains deleted text. This class is a singleton -- only one
kill ring is used for all of jEdit. Nothing prevents plugins from making their
own kill rings for whatever reason, though.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ring
protected UndoManager.Remove[] ring
count
protected int count
wrap
protected boolean wrap
killRingModTime
protected long killRingModTime
KillRing
public KillRing()
getInstance
public static KillRing getInstance()
setInstance
public static void setInstance(KillRing killRing)
propertiesChanged
public void propertiesChanged(int historySize)
load
public void load()
save
public void save()
addListDataListener
public void addListDataListener(javax.swing.event.ListDataListener listener)
- Specified by:
addListDataListener
in interface javax.swing.ListModel
removeListDataListener
public void removeListDataListener(javax.swing.event.ListDataListener listener)
- Specified by:
removeListDataListener
in interface javax.swing.ListModel
getElementAt
public java.lang.Object getElementAt(int index)
- Specified by:
getElementAt
in interface javax.swing.ListModel
getSize
public int getSize()
- Specified by:
getSize
in interface javax.swing.ListModel
removeElement
public boolean removeElement(java.lang.Object value)
- Specified by:
removeElement
in interface MutableListModel
insertElementAt
public void insertElementAt(java.lang.Object value,
int index)
- Specified by:
insertElementAt
in interface MutableListModel