Package org.gjt.sp.jedit.bufferset
Class BufferSet
- java.lang.Object
-
- org.gjt.sp.jedit.bufferset.BufferSet
-
public class BufferSet extends java.lang.Object
An ordered list of buffers, normally attached to an EditPane and viewed in a BufferSwitcher.- Since:
- jEdit 4.3pre15
- Author:
- Matthieu Casanova
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
BufferSet.Scope
Possible scopes for BufferSets.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
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 examplejava.lang.String
toString()
-
-
-
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.
-
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:
toString
in classjava.lang.Object
-
sort
public void sort()
Sort the bufferSet (useful if a buffer has been renamed for example- Since:
- jEdit 4.4pre1
-
-