| java.lang.Object
 org.gjt.sp.jedit.buffer.KillRing
All known Subclasses: org.gjt.sp.jedit.JEditKillRing,
| KillRing | | public class KillRing implements MutableListModel(Code) | | 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.
|
| getSize | | public int getSize()(Code) | | |
| insertElementAt | | public void insertElementAt(Object value, int index)(Code) | | |
| propertiesChanged | | public void propertiesChanged(int historySize)(Code) | | |
| remove | | void remove(int i)(Code) | | |
| removeElement | | public boolean removeElement(Object value)(Code) | | |
| reset | | protected void reset(List source)(Code) | | This method is made to be used by implementation of load()
method to initialize (or reset) the killring by a loaded
sequence of objects.
Each element is converted to an element of the killring as
followings:
- If it is a String, it is converted as if it is a result of
getElementAt(n).toString().
- Otherwise, it is converted as if it is a Object which was
obtained by getElementAt(n).
since:
jEdit 4.3pre12 |
|
|