|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.bufferset.BufferSetManager
public class BufferSetManager
The buffersets manager. A singleton instance of this can be obtained from jEdit.getBufferSetManager()
Nested Class Summary | |
---|---|
static interface |
BufferSetManager.BufferSetVisitor
|
static class |
BufferSetManager.NewBufferSetAction
|
Constructor Summary | |
---|---|
BufferSetManager()
|
Method Summary | |
---|---|
void |
addAllBuffers(BufferSet bufferSet)
Add all buffers to the bufferSet. |
void |
addBuffer(BufferSet bufferSet,
Buffer buffer)
Add a buffer in the given bufferSet. |
void |
addBuffer(EditPane editPane,
Buffer buffer)
Add a buffer into the current editPane of 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. |
void |
handleMessage(EBMessage message)
Handles a message sent on the EditBus. |
void |
mergeBufferSet(BufferSet target,
BufferSet source)
Merge the content of the source bufferSet into the target bufferSet |
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 |
visit(BufferSetManager.BufferSetVisitor visitor)
This method will visit all buffersets. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BufferSetManager()
Method Detail |
---|
public void handleMessage(EBMessage message)
EBComponent
EBMessage
class. Typically
this is done with one or more if
blocks that test
whether the message is an instance of a derived message class in
which the component has an interest. For example:
if(msg instanceof BufferUpdate) { // a buffer's state has changed! } else if(msg instanceof ViewUpdate) { // a view's state has changed! } // ... and so on
handleMessage
in interface EBComponent
message
- The messagepublic void mergeBufferSet(BufferSet target, BufferSet source)
target
- the target bufferSetsource
- the source bufferSetEditPane.setBuffer(org.gjt.sp.jedit.Buffer)
public int countBufferSets(Buffer buffer)
buffer
- the buffer
jEdit.closeBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)
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 addBuffer(BufferSet bufferSet, Buffer buffer)
bufferSet
- the bufferSetbuffer
- the buffer to addpublic void addAllBuffers(BufferSet bufferSet)
bufferSet
- the bufferSetpublic 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 void visit(BufferSetManager.BufferSetVisitor visitor)
visitor
- the bufferset visitor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |