Package org.gjt.sp.jedit.bufferset
Class BufferSet
- java.lang.Object
-
- org.gjt.sp.jedit.bufferset.BufferSet
-
public class BufferSet extends java.lang.ObjectAn ordered list of buffers, normally attached to an EditPane and viewed in a BufferSwitcher.- Since:
- jEdit 4.3pre15
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classBufferSet.NameSorterstatic classBufferSet.PathSorterstatic classBufferSet.ScopePossible scopes for BufferSets.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddBuffer(Buffer buffer)voidaddBufferAt(Buffer buffer, int position)voidaddBufferSetListener(BufferSetListener listener)Add a BufferSetListener.Buffer[]getAllBuffers()Returns an array of all buffers in this bufferSet.voidgetAllBuffers(BufferSetListener listener)BuffergetBuffer(int index)Returns the Buffer at the given index.BuffergetNextBuffer(int index)BuffergetPreviousBuffer(int index)java.util.Comparator<Buffer>getSorter()intindexOf(Buffer buffer)voidremoveBufferSetListener(BufferSetListener listener)Remove a BufferSetListener.intsize()voidsort()Sort the bufferSet (useful if a buffer has been renamed for examplejava.lang.StringtoString()
-
-
-
Constructor Detail
-
BufferSet
public BufferSet(BufferSet source)
-
-
Method Detail
-
addBuffer
public void addBuffer(Buffer buffer)
Internal use only, useBufferSetManager.addBuffer(org.gjt.sp.jedit.View, org.gjt.sp.jedit.Buffer)orBufferSetManager.addBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)- Parameters:
buffer- the buffer to be added
-
addBufferAt
public void addBufferAt(Buffer buffer, int position)
Internal use only, useBufferSetManager.addBuffer(org.gjt.sp.jedit.View, org.gjt.sp.jedit.Buffer)orBufferSetManager.addBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)- Parameters:
buffer- the buffer to be addedposition- the position where it must be added or -1 if we don't care
-
getBuffer
public Buffer getBuffer(int index)
Returns the Buffer at the given index.- Parameters:
index- the index. The index must exists- Returns:
- the buffer at the index.
-
getSorter
@Nullable public java.util.Comparator<Buffer> getSorter()
- Returns:
- the Comparator used for this bufferset can be null if there is no sorting
- Since:
- jEdit 5.2
-
getPreviousBuffer
public Buffer getPreviousBuffer(int index)
-
getNextBuffer
public Buffer getNextBuffer(int index)
-
indexOf
public int indexOf(Buffer buffer)
-
size
public int size()
-
getAllBuffers
public void getAllBuffers(BufferSetListener listener)
-
getAllBuffers
public Buffer[] getAllBuffers()
Returns an array of all buffers in this bufferSet.- Returns:
- an array of all Buffers
-
addBufferSetListener
public void addBufferSetListener(BufferSetListener listener)
Add a BufferSetListener.- Parameters:
listener- the new BufferSetListener
-
removeBufferSetListener
public void removeBufferSetListener(BufferSetListener listener)
Remove a BufferSetListener. If there are no listeners anymore, remove all buffers from the bufferSet.- Parameters:
listener- the removed BufferSetListener
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
sort
public void sort()
Sort the bufferSet (useful if a buffer has been renamed for example- Since:
- jEdit 4.4pre1
-
-