public class BufferSet
extends java.lang.Object
| Modifier and Type | Class and Description | 
|---|---|
| static class  | BufferSet.NameSorter | 
| static class  | BufferSet.PathSorter | 
| static class  | BufferSet.ScopePossible scopes for BufferSets. | 
| Modifier and Type | Method and Description | 
|---|---|
| void | addBuffer(Buffer buffer) | 
| void | addBufferAt(Buffer buffer,
           int position) | 
| void | addBufferSetListener(BufferSetListener listener)Add a BufferSetListener. | 
| Buffer[] | getAllBuffers()Returns an array of all buffers in this bufferSet. | 
| void | getAllBuffers(BufferSetListener listener) | 
| Buffer | getBuffer(int index)Returns the Buffer at the given index. | 
| Buffer | getNextBuffer(int index) | 
| Buffer | getPreviousBuffer(int index) | 
| java.util.Comparator<Buffer> | getSorter() | 
| int | indexOf(Buffer buffer) | 
| void | removeBufferSetListener(BufferSetListener listener)Remove a BufferSetListener. | 
| int | size() | 
| void | sort()Sort the bufferSet (useful if a buffer has been renamed for example | 
| java.lang.String | toString() | 
public BufferSet(BufferSet source)
public void addBuffer(Buffer buffer)
BufferSetManager.addBuffer(org.gjt.sp.jedit.View, org.gjt.sp.jedit.Buffer)
 or
 BufferSetManager.addBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)buffer - the buffer to be addedpublic void addBufferAt(Buffer buffer, int position)
BufferSetManager.addBuffer(org.gjt.sp.jedit.View, org.gjt.sp.jedit.Buffer)
 or
 BufferSetManager.addBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)buffer - the buffer to be addedposition - the position where it must be added or -1 if we don't carepublic Buffer getBuffer(int index)
index - the index. The index must exists@Nullable public java.util.Comparator<Buffer> getSorter()
public Buffer getPreviousBuffer(int index)
public Buffer getNextBuffer(int index)
public int indexOf(Buffer buffer)
public int size()
public void getAllBuffers(BufferSetListener listener)
public Buffer[] getAllBuffers()
public void addBufferSetListener(BufferSetListener listener)
listener - the new BufferSetListenerpublic void removeBufferSetListener(BufferSetListener listener)
listener - the removed BufferSetListenerpublic java.lang.String toString()
toString in class java.lang.Objectpublic void sort()