public class BufferSet
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
BufferSet.NameSorter |
static class |
BufferSet.PathSorter |
static class |
BufferSet.Scope
Possible 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.Object
public void sort()