org.gjt.sp.jedit.buffer
Class KillRing
java.lang.Object
org.gjt.sp.jedit.buffer.KillRing
- All Implemented Interfaces:
- javax.swing.ListModel, MutableListModel
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 |
KillRing
public KillRing()
getInstance
public static KillRing getInstance()
propertiesChanged
public void propertiesChanged()
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