public class BufferSetManager
extends java.lang.Object
| Constructor and Description | 
|---|
| BufferSetManager() | 
| Modifier and Type | Method and Description | 
|---|---|
| void | addBuffer(EditPane editPane,
         Buffer buffer)Add a buffer into the given editPane. | 
| void | addBuffer(View view,
         Buffer buffer)Add a buffer into the current editPane of the given view. | 
| int | countBufferSets(Buffer buffer)Count the bufferSets in which the buffer is. | 
| static Buffer | createUntitledBuffer()Create an untitled buffer | 
| java.util.Set<BufferSet> | getOwners(Buffer buffer) | 
| BufferSet.Scope | getScope() | 
| void | handleEditPaneUpdate(EditPaneUpdate message) | 
| void | handlePropertiesChanged(PropertiesChanged msg) | 
| void | moveBuffer(EditPane editPane,
          int oldPosition,
          int newPosition)Moves a buffer from a old position to a new position in the
 BufferSet used in an EditPane. | 
| void | removeBuffer(Buffer buffer)remove a buffer from all bufferSets. | 
| void | removeBuffer(EditPane editPane,
            Buffer buffer)Remove a buffer from the EditPane's bufferSet. | 
| void | setScope(BufferSet.Scope scope) | 
public void handleEditPaneUpdate(EditPaneUpdate message)
public void handlePropertiesChanged(PropertiesChanged msg)
public int countBufferSets(Buffer buffer)
buffer - the bufferjEdit.closeBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)public void setScope(BufferSet.Scope scope)
public BufferSet.Scope getScope()
public void addBuffer(View view, Buffer buffer)
view - a view (or null)buffer - the buffer to addpublic void addBuffer(EditPane editPane, Buffer buffer)
editPane - an EditPane (or null)buffer - the buffer to addpublic void moveBuffer(EditPane editPane, int oldPosition, int newPosition)
public void removeBuffer(EditPane editPane, Buffer buffer)
editPane - the editPane It cannot be nullbuffer - the bufferpublic void removeBuffer(Buffer buffer)
buffer - the buffer that must be removedpublic static Buffer createUntitledBuffer()